aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/index.css
diff options
context:
space:
mode:
authorKristaps Dzonsons <kristaps@bsd.lv>2011-04-09 16:43:30 +0000
committerKristaps Dzonsons <kristaps@bsd.lv>2011-04-09 16:43:30 +0000
commit17fe2cc58076cb3f7055c7b944dd9352095f6588 (patch)
tree783916de5448b7a78e5511017c9c52f9ed6b0138 /index.css
parent8c7b007b48c1d2f7ca24bcd97b3cca40f4ffa115 (diff)
downloadmandoc-17fe2cc58076cb3f7055c7b944dd9352095f6588.tar.gz
mandoc-17fe2cc58076cb3f7055c7b944dd9352095f6588.tar.zst
mandoc-17fe2cc58076cb3f7055c7b944dd9352095f6588.zip
Tidy up www page: remove all sorts of DIV crap, superfluous CSS, in-line
STYLE attributes, and so on. Now renders nicely in lynx.
Diffstat (limited to 'index.css')
-rw-r--r--index.css51
1 files changed, 22 insertions, 29 deletions
diff --git a/index.css b/index.css
index d8d0b2d8..92bb281f 100644
--- a/index.css
+++ b/index.css
@@ -1,25 +1,31 @@
+html { min-width: 40em;
+ max-width: 60em;
+ width: 60%;
+ margin-left: 4em; }
+
body { color: #333333;
+ text-align: justify;
font-size: 0.93em;
- font-family: Times, sans-serif; }
+ font-family: Times, serif; }
+
+h1, h2 { font-size: inherit; }
-table.frame { max-width: 800px;
- padding-right: 2em;
- padding-left: 1em; }
+h1 { margin-left: -3.0em; }
-table { padding-left: 40px; }
+h2 { margin-left: -1.5em; }
-p { padding-left: 40px;
- text-align: justify; }
+p.head, p.foot { margin-left: -3.0em;
+ text-align: right; }
-h1 { font-weight: bold;
- font-size: small;
- font-family: Verdana, Tahoma, Arial, sans-serif; }
+p.head { border-bottom: 1px solid #dddddd;
+ padding-bottom: 0.2em; }
-h2 { font-weight: bold;
- font-size: small;
- padding-left: 20px;
- margin-bottom: 0px;
- font-family: Verdana, Tahoma, Arial, sans-serif; }
+p.foot { border-top: 1px solid #dddddd;
+ padding-top: 0.2em;
+ font-size: smaller; }
+
+p.news { color: #000000;
+ margin-left: -0.5em; }
span.nm { font-weight: bold; }
@@ -29,20 +35,7 @@ span.attn { color: #000000; font-weight: bold; }
span.flag { font-weight: bold; }
-div.head { border-bottom: 1px solid #dddddd;
- padding-bottom: 5px;
- text-align: right; }
-
-div.foot { border-top: 1px solid #dddddd;
- padding-top: 5px;
- font-size: smaller;
- text-align: right; }
+a { text-decoration: none; }
a.external { background: transparent url(external.png) center right no-repeat;
padding-right: 12px; }
-
-span.date { color: #000000; }
-
-div.news { margin-bottom: 2em; }
-
-div.news ul { margin-left: 4em; }