summaryrefslogtreecommitdiffstats
path: root/style.css
diff options
context:
space:
mode:
authorKristaps Dzonsons <kristaps@bsd.lv>2009-07-04 08:06:42 +0000
committerKristaps Dzonsons <kristaps@bsd.lv>2009-07-04 08:06:42 +0000
commit5d8e6241e1dfa890f738476fca07e3ac708dc3d1 (patch)
tree7730c4657bce7f5e19868440d2c7f158fe628445 /style.css
parentd4911e32db795a6549559dd6175abf1f7dc21bc1 (diff)
downloadmandoc-5d8e6241e1dfa890f738476fca07e3ac708dc3d1.tar.gz
Minor www fixes.
Diffstat (limited to 'style.css')
-rw-r--r--style.css34
1 files changed, 6 insertions, 28 deletions
diff --git a/style.css b/style.css
index 63a161a5..d100c3b5 100644
--- a/style.css
+++ b/style.css
@@ -2,18 +2,13 @@ body { color: #333333;
font-size: smaller;
font-family: Verdana, Tahoma, Arial, sans-serif; }
-p { margin-left: 40px;
- text-align: justify; }
-
-table { margin-left: 40px; }
+table.frame { max-width: 800px;
+ padding-left: 10px; }
-ul { margin-left: 40px; }
+table { padding-left: 40px; }
-p.boxed { border: 1px solid #cccccc;
- margin-left: 40px;
- text-align: justify;
- padding: 2px;
- color: black; }
+p { padding-left: 40px;
+ text-align: justify; }
h1 { font-weight: bold;
font-size: small;
@@ -21,29 +16,14 @@ h1 { font-weight: bold;
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;
+ padding-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; }
@@ -54,5 +34,3 @@ div.foot { border-top: 1px dotted #cccccc;
text-align: right; }
a.external { background: transparent url(external.png) center right no-repeat; padding-right: 12px; }
-
-td.zebra { background-color: #eeeeee; }