Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
CSS
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292/* Copied from http://bakefile.sourceforge.net/, which appears licensed under the GNU GPL. */
/*************************************************************************** Basic headers and text: ***************************************************************************/
body{ font-family: "Nimbus Sans L", sans-serif; font-size: 1em; background: white; margin: 2em 1em 2em 1em;}
h1, h2, h3, h4{ color: #005aa0;}
h1 /* title */{ font-size: 200%;}
h2 /* chapters, appendices, subtitle */{ font-size: 180%;}
div.book{ text-align: center;}
div.book > div{ /* * based on https://medium.com/@zkareemz/golden-ratio-62b3b6d4282a * we do 70 characters per line to fit code listings better * 70 * (font-size / 1.618) * expression for emacs: * (* 70 (/ 1 1.618)) */ max-width: 43.2em; text-align: left; margin: auto;}
/* Extra space between chapters, appendices. */div.chapter > div.titlepage h2, div.appendix > div.titlepage h2{ margin-top: 1.5em;}
div.section > div.titlepage h2 /* sections */{ font-size: 150%; margin-top: 1.5em;}
h3 /* subsections */{ font-size: 125%;}
div.simplesect h2{ font-size: 110%;}
div.appendix h3{ font-size: 150%; margin-top: 1.5em;}
div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */{ margin-top: 1.4em; font-size: 125%;}
div.refsection h3{ font-size: 110%;}
/*************************************************************************** Examples: ***************************************************************************/
div.example{ border: 1px solid #b0b0b0; padding: 6px 6px; margin-left: 1.5em; margin-right: 1.5em; background: #f4f4f8; border-radius: 0.4em; box-shadow: 0.4em 0.4em 0.5em #e0e0e0;}
div.example p.title{ margin-top: 0em;}
div.example pre{ box-shadow: none;}
/*************************************************************************** Screen dumps: ***************************************************************************/
pre.screen, pre.programlisting{ border: 1px solid #b0b0b0; padding: 3px 3px; margin-left: 0.5em; margin-right: 0.5em;
background: #f4f4f8; font-family: monospace; border-radius: 0.4em; box-shadow: 0.4em 0.4em 0.5em #e0e0e0;}
div.example pre.programlisting{ border: 0px; padding: 0 0; margin: 0 0 0 0;}
/*************************************************************************** Notes, warnings etc: ***************************************************************************/
.note, .warning{ border: 1px solid #b0b0b0; padding: 3px 3px; margin-left: 1.5em; margin-right: 1.5em; margin-bottom: 1em; padding: 0.3em 0.3em 0.3em 0.3em; background: #fffff5; border-radius: 0.4em; box-shadow: 0.4em 0.4em 0.5em #e0e0e0;}
div.note, div.warning{ font-style: italic;}
div.note h3, div.warning h3{ color: red; font-size: 100%; padding-right: 0.5em; display: inline;}
div.note p, div.warning p{ margin-bottom: 0em;}
div.note h3 + p, div.warning h3 + p{ display: inline;}
div.note h3{ color: blue; font-size: 100%;}
div.navfooter *{ font-size: 90%;}
/*************************************************************************** Links colors and highlighting: ***************************************************************************/
a { text-decoration: none; }a:hover { text-decoration: underline; }a:link { color: #0048b3; }a:visited { color: #002a6a; }
/*************************************************************************** Table of contents: ***************************************************************************/
div.toc{ font-size: 90%;}
div.toc dl{ margin-top: 0em; margin-bottom: 0em;}
/*************************************************************************** Special elements: ***************************************************************************/
tt, code{ color: #400000;}
.term{ font-weight: bold;
}
div.variablelist dd p, div.glosslist dd p{ margin-top: 0em;}
div.variablelist dd, div.glosslist dd{ margin-left: 1.5em;}
div.glosslist dt{ font-style: italic;}
.varname{ color: #400000;}
span.command strong{ font-weight: normal; color: #400000;}
div.calloutlist table{ box-shadow: none;}
table{ border-collapse: collapse; box-shadow: 0.4em 0.4em 0.5em #e0e0e0;}
table.simplelist{ text-align: left; color: #005aa0; border: 0; padding: 5px; background: #fffff5; font-weight: normal; font-style: italic; box-shadow: none; margin-bottom: 1em;}
div.navheader table, div.navfooter table { box-shadow: none;}
div.affiliation{ font-style: italic;}