body { margin: 1em 5em; text-align: justify; font-family: 'Liberation Sans', sans-serif; } body.index { margin: 2em 10em 1em 10em; padding-right: 300px; } a { color: #0066cc; } a:visited { color: #6666cc; } /* hanging; ids for asciidoc styling */ header, footer, #header, #footer, .article #copyright { margin: 0em -3em; text-align: left; } body.index footer { margin: 0em -10em; } h1, h2, h3, #menu, body.index ul.index li .day, strong { font-family: 'URW Gothic L', 'Avant Garde', sans-serif; font-weight: normal; } h1 { font-size: 1.8em; } h2 { font-size: 1.4em; } h2.date { font-size: 1.1em; color: #666f63; margin-top: -1em; margin-bottom: 1.5em; } h1 a, h1 a:visited { text-decoration: none; color: inherit; } /* latter for asciidoc-generated output */ h1.title, #header h1 { font-size: 2em; margin-bottom: 0.1em; } h2.desc { font-size: 0.8em; text-transform: uppercase; letter-spacing: 0.1em; font-weight: normal; color: #666f63; margin-top: 0px; margin-bottom: 2em; } #menu { text-align: center; padding: 0; margin: 0px -300px 4em 0px; } #menu li { display: inline; font-size: 1.3em; letter-spacing: 0.05em; } #menu li a { color: #666f63; text-decoration: none; border-left: 1px solid #868f83; padding: 0.15em 1em; } #menu li:first-child a { border-left: none; } #headline { position: absolute; text-align: center; right: 10em; } #headline a { display: block; text-decoration: none; margin-top: 2em; clear: left; } #headline a:first-child { margin-top: 0; } #headline img { margin-left: 2em; } body.index .content { /* this is not ideal, but works since the sidebar content is (currently) all images */ min-height: 750px; padding-right: 1.5em; } body.index h3.index { margin-bottom: 0.5em; } body.index ul.index { text-align: left; list-style: none; margin: 0px; padding-left: 1.5em; } body.index ul.index li { margin: 0.5em 0px; } body.index ul.index li .day { float: left; margin-right: 0.5em; } p#ref-0 { margin-top: 2em; } p.ref { font-size: 0.9em; margin: 0.25em 0em; text-align: left; } sup { font-size: 0.6em; } p.ref:target { background-color: #fce94f; } pre { white-space: pre-wrap; } dt { letter-spacing: 0.1em; } tt { background-color: #eeeeec; color: #000055; } .inline-img { text-align: center; } .listingblock { background-color: #eeeeec; background-image: url('images/cross_scratches.png'); padding: 0.5em; border: 1px solid #babdb6; border-radius: 0.25em } .exampleblock { margin-left: 2em; padding-left: 1em; border-left: 5px solid #eeeeec; } #gnuinside { position: absolute; display: block; top: 0px; right: 0px; width: 50px; height: 50px; } footer, #footer, .article #copyright { font-size: 0.9em; margin-top: 2em; clear: both; } footer .commit-id { font-family: monospace; } /* to account for headline (sidebar) */ body.index footer .bimgs, body.index footer hr { margin-right: -300px; } #selflinks { position: absolute; top: 60px; right: 0px; width: 42px; padding: 6px; } #selflinks a { text-decoration: none; } .bimgs { float: right; margin-left: 1em; } .bimgs img { margin-left: 0.1em; } .bimgs img:first-child { margin-left: 0em; } body.content .abstract { font-size: 0.9em; } body.content .abstract .start { font-weight: bold; } /** exclusively asciidoc-generated content styling **/ body.article h2 { position: relative; border-bottom: 2px solid #babdb6; left: -2em; margin-right: -2em; } body.article h3 { border-bottom: 1px solid #babdb6; } #author { font-size: 1.1em; letter-spacing: 0.1em; } #footer { border-top: 2px solid #babdb6; padding-top: 0.5em; } .article #copyright { margin-top: 0; } @media screen and (max-width: 1024px) { body { margin: 2em !important; } #headline { right: 2em; } header, footer, #header, #footer, .article #copyright { margin-left: 0px; } body.index footer { margin: 0em; } } @media screen and (max-width: 640px) { body { margin: 1em !important; padding-right: 0 !important; } body.index .content { min-height: 0px; padding-right: 0px; } header { margin-right: 0px; } #menu { margin-right: 0px; margin-bottom: 2em; } #headline { position: initial; } #headline a { display: inline; margin: 0.5em; } #headline img { max-width: 100px; max-height: 100px; margin-left: 0; } #selflinks { position: absolute; top: 0px; right: 50px; width: auto; height: 42px; padding: 6px; } header, footer, body.index footer .bimgs, body.index footer hr, #header, #footer, .article #copyright { margin-right: 0px; } .bimgs { float: none; margin-left: 0px; } /* we're pretty low on real estate at this point */ blockquote { margin: 1em 0px 1em 2em; } ul, ul.index { padding-left: 1em !important; } } /* when things start getting odd from 640px */ @media screen and (max-width: 400px) { #menu { font-size: 0.8em; } #selflinks img { max-width: 21px; max-height: 21px; } footer { font-size: 0.9em; } .bimgs img { width: 70px; height: 25px; } } /*** https://github.com/jgm/highlighting-kate/blob/master/css/hk-tango.css * ***/ /* Loosely based on pygment's tango colors */ table.sourceCode, tr.sourceCode, td.sourceCode, table.sourceCode pre { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; background-color: #f8f8f8 } td.nums { text-align: right; padding-right: 5px; padding-left: 5px; background-color: #f0f0f0; } td.sourceCode { padding-left: 5px; } code.sourceCode { background-color: #f8f8f8; } pre.sourceCode { background-color: #f8f8f8; line-height: 125% } td.nums pre { background-color: #f0f0f0; line-height: 125% } code.sourceCode span.kw { color: #204a87; font-weight: bold } /* Keyword */ code.sourceCode span.dt { color: #204a87 } /* Keyword.Type */ code.sourceCode span.dv { color: #0000cf } /* Literal.Number.Integer */ code.sourceCode span.bn { color: #0000cf } /* Literal.Number.Hex */ code.sourceCode span.fl { color: #0000cf } /* Literal.Number.Float */ code.sourceCode span.ch { color: #4e9a06 } /* Literal.String.Char */ code.sourceCode span.st { color: #4e9a06 } /* Literal.String */ code.sourceCode span.co { color: #8f5902; font-style: italic } /* Comment */ code.sourceCode span.ot { color: #8f5902 } /* Comment.Preproc */ code.sourceCode span.al { color: #ef2929 } /* Generic.Error */ code.sourceCode span.fu { color: #000000 } /* Name.Function */ code.sourceCode span.re { } code.sourceCode span.er { color: #a40000; border: 1px solid #ef2929 } /* Error */