diff options
| -rw-r--r-- | info2html.css | 108 |
1 files changed, 108 insertions, 0 deletions
diff --git a/info2html.css b/info2html.css new file mode 100644 index 0000000..9276348 --- /dev/null +++ b/info2html.css @@ -0,0 +1,108 @@ + +/* + This is the CSS file for documents generated by info2html and infocat. + Put this wherever you like in your web server, just so long as + info2html.conf's $HTML_HEAD_STUFF has the right URL for linking to it. + By default, info2html.conf assumes this will be in the document root, + and called info2html.css + + Most of this is by Sean Burke (sburke@cpan.org), 2006. + You are very welcome to modify it to your tastes. + + You can even do without this file altogether; just mod $HTML_HEAD_STUFF + to not link to any stylesheet at all. +*/ + +@media print { + .nav, .generator { display: none } + * { + color: #000 !important; + background-color: #fff !important; + border-color: #000 !important; + } + + /* body { font-size: smaller; } */ +} + +@media screen { + /* body { font-size: smaller; } */ + + body { + color: #ffffff; + background-color: #22095b; + } + body.error { font-size: 150%; } + body.error > h1 { + border-top: .2em #f00 dashed; + } + + a { color: white; } + a:link { color: #d5d5ff !important; text-decoration: underline;} + a:visited { color: #c8a0ff !important; text-decoration: underline;} + a:active { color: #ffa0a0 !important; text-decoration: underline;} + h1,h2 { + margin-top: .2em; + padding-top: .2em; + border-top: 2px #888 solid; + } + .navbottom { + border-top: 2px #888 solid; + } + .nav a { + padding-left: .6em; + padding-right: .6em; + white-space: nowrap; + line-height: 1.5em; + } + .nav em { font-size: smaller; } + .nav { + text-align: center; + } + h1 { background-color: #000000; } + h2 { background-color: #040040; } +} + + +.icon { + background-color: #000; + color: #0dd !important; + padding: 0px 4px; + border: 1px #0dd solid; + text-decoration: none !important; +} + +a:hover > .icon, a:focus > .icon { + background-color: #009 !important; + border-color: #3ff; + color: #3ff !important; +} + +h2 .base { padding-right: .5em; } + +ul { margin-top: .7em; } +li { margin-bottom: .7em; } + +h1,h2 { + margin-bottom: .2em; + padding-bottom: 0; + text-align: center; +} + +h3 { + margin-bottom: 0; + padding-bottom: 0; + margin-left: 5em; + font-style: italic; +} + +pre { + margin-top: 0; + margin-bottom: 0; + padding-top: 0; + padding-bottom: 0; +} + +img { background-color: #888; vertical-align: middle; } +.generator { color: #888; font-size: smaller; text-align: right; } + +/* End */ |