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 | 14dd31b8463de88a036d22876fd21cbcacffde5a (patch) | |
tree | d0ab9b81bf2676ba260a871c6a362076007468a1 /index.css | |
parent | c8074c0e1bae22d23adc6d62177dc42534576980 (diff) | |
download | mandoc-14dd31b8463de88a036d22876fd21cbcacffde5a.tar.gz |
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; } |