diff options
author | Kristaps Dzonsons <kristaps@bsd.lv> | 2009-09-21 13:06:13 +0000 |
---|---|---|
committer | Kristaps Dzonsons <kristaps@bsd.lv> | 2009-09-21 13:06:13 +0000 |
commit | 665ccc57084126888487f5e77562f85fdb53fdfc (patch) | |
tree | 5c479a5a1473e20d4a07695a2b0510d78d6fbb1a /index.css | |
parent | 72d7121f0c1ef16558a100baca0e14260bdbbe9a (diff) | |
download | mandoc-665ccc57084126888487f5e77562f85fdb53fdfc.tar.gz mandoc-665ccc57084126888487f5e77562f85fdb53fdfc.tar.zst mandoc-665ccc57084126888487f5e77562f85fdb53fdfc.zip |
Removed new-born out.{h,c} (not a good idea).
Removed if 0 for HTML-mode output (why not).
Added option -oxxxx for passing options to output devices.
Diffstat (limited to 'index.css')
-rw-r--r-- | index.css | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/index.css b/index.css new file mode 100644 index 00000000..b58ad883 --- /dev/null +++ b/index.css @@ -0,0 +1,44 @@ +body { color: #333333; + font-size: smaller; + font-family: Verdana, Tahoma, Arial, sans-serif; } + +table.frame { max-width: 800px; + padding-left: 10px; } + +table { padding-left: 40px; } + +p { padding-left: 40px; + text-align: justify; } + +h1 { font-weight: bold; + font-size: small; + font-family: Verdana, Tahoma, Arial, sans-serif; } + +h2 { font-weight: bold; + font-size: small; + padding-left: 20px; + margin-bottom: 0px; + font-family: Verdana, Tahoma, Arial, sans-serif; } + +div.clhead { background-color: #E6E6FA; color: #000000; padding: 2px; font-weight: bold; } + +div.clbody { margin-left: 2px; } + +ul.clbody { margin-top: 4px; } + +span.rev { color: #808080; } + +span.nm { color: #000000; font-weight: bold; } + +span.attn { color: #000000; font-weight: bold; } + +div.head { border-bottom: 1px dotted #cccccc; + padding-bottom: 5px; + text-align: right; } + +div.foot { border-top: 1px dotted #cccccc; + padding-top: 5px; + font-size: smaller; + text-align: right; } + +a.external { background: transparent url(external.png) center right no-repeat; padding-right: 12px; } |