=================================================================== RCS file: /cvs/mandoc/Attic/style.css,v retrieving revision 1.3 retrieving revision 1.9 diff -u -p -r1.3 -r1.9 --- mandoc/Attic/style.css 2009/04/05 16:34:22 1.3 +++ mandoc/Attic/style.css 2009/09/21 23:12:08 1.9 @@ -1,57 +1,21 @@ -body { color: #333333; - font-size: smaller; +div.body { color: #333333; + max-width: 800px; + padding-left: 10px; + font-size: smaller; font-family: Verdana, Tahoma, Arial, sans-serif; } - -p { margin-left: 40px; - text-align: justify; } - -table { margin-left: 40px; } - -ul { margin-left: 40px; } - -p.boxed { border: 1px solid #cccccc; - margin-left: 40px; - text-align: justify; - padding: 2px; - color: black; } - -h1 { font-weight: bold; - font-size: small; - font-family: Verdana, Tahoma, Arial, sans-serif; } - -h2 { font-weight: bold; - font-size: small; - margin-left: 20px; - margin-bottom: 0px; - font-family: Verdana, Tahoma, Arial, sans-serif; } - -h3 { font-size: small; - font-weight: normal; - margin-left: 20px; - margin-bottom: 0px; - font-family: Verdana, Tahoma, Arial, sans-serif; } - -a.man { text-decoration: none; - border-bottom: 1px dotted #999999; } - -span.path { color: #000000; } - -span.nm { color: #000000; font-weight: bold; } - -span.attn { color: #000000; font-weight: bold; } - -span.fl { font-weight: bold; } - -span.ar { text-decoration: underline; } - -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; } +span.sec-head { font-weight: bold; color: blue; } +span.ssec-head { font-weight: bold; color: blue; } +span.addr { text-decoration: underline; } +span.arg { font-style: italic; } +span.config { font-weight: bold; } +span.diag { font-weight: bold; } +span.emph { font-style: italic; } +span.farg { text-decoration: underline; } +span.file { font-style: italic; } +span.flag { font-weight: bold; } +span.name { font-weight: bold; } +span.type { font-style: italic; } +span.utility { font-weight: bold; } +table.header { border-bottom: 1px dotted #cccccc; } +table.footer { border-top: 1px dotted #cccccc; }