@namespace url(http://www.w3.org/1999/xhtml);

@-moz-document domain("github.com") {
}

@media print {
    body { font-family: Calico, Arial, sans-serif; }
    .logo, .repohead, .action, .path, .avatarname, .info, .human, .pledgie, .envelope, .meta, .site > ul { display: none !important; }
    #header, #footer, #repo_name, #machine, #clippy, #private_repo, #repos, #browser { display: none !important; }
    pre { border: 1px #AAA solid; padding: 5px !important; font-family: "Bitstream Vera Sans Mono",Monaco,"Courier New","DejaVu Sans Mono" !important;}
    #path:before { content: "GitHub path: " }
    #path a { color: black !important; text-decoration: none !important; }
    #path { font-weight: bold; text-align: right; }
}