git.ckatri.com
/
mandoc.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Simplify: Remove an unused argument from the mandoc_eos() function.
[mandoc.git]
/
index.css
diff --git
a/index.css
b/index.css
index 8d81dbeabf8f5532ff8e7d4347856b5b0a43b090..d98316eaf311e5f4ede754d47de87f186fca49bf 100644
(file)
--- a/
index.css
+++ b/
index.css
@@
-1,46
+1,48
@@
-body { color: #333333;
- font-size: 0.93em;
- font-family: Times, sans-serif; }
+html { min-width: 40em;
+ margin-top: 2em;
+ margin-left: auto;
+ margin-right: auto;
+ width: 80%; }
-table.frame { max-width: 800px;
- padding-right: 2em;
- padding-left: 1em; }
+body { text-align: justify;
+ font-family: Helvetica,Arial,sans-serif;
+ line-height: 120%;
+ font-size: small; }
-
table { padding-left: 40px
; }
+
p,ul,table { margin-left: 3em
; }
-p { padding-left: 40px;
- text-align: justify; }
+p.head,
+p.subhead,
+p.foot { margin-left: 0.0em; margin-right: 0.0em; }
-h1 { font-weight: bold;
- font-size: small;
- font-family: Verdana, Tahoma, Arial, sans-serif; }
+p.news { margin-left: 2.0em; }
-h2 { font-weight: bold;
- font-size: small;
- padding-left: 20px;
- margin-bottom: 0px;
- font-family: Verdana, Tahoma, Arial, sans-serif; }
+li { margin: 0.25em; }
-span.nm { font-weight: bold; }
+h1 { font-size: 110%; }
+h2 { font-size: 105%; margin-left: 1.5em }
-span.attn { color: #000000; font-weight: bold; }
+p.head { margin-bottom: 0.5em;
+ border-bottom: 1px solid #dddddd;
+ padding-bottom: 0.2em; }
-span.flag { font-weight: bold; }
+p.subhead { margin-top: 0em;
+ margin-bottom: 1.75em; }
-div.head { border-bottom: 1px solid #dddddd;
- padding-bottom: 5px;
- text-align: right; }
+p.foot { border-top: 1px solid #dddddd;
+ color: #666666;
+ padding-top: 0.2em;
+ margin-top: 1.75em; }
-div.foot { border-top: 1px solid #dddddd;
- padding-top: 5px;
- font-size: smaller;
- text-align: right; }
+span.nm { color: green; }
-a.external { background: transparent url(external.png) center right no-repeat;
- padding-right: 12px; }
+span.file { font-style: italic; }
-span.
date { color: #000000
; }
+span.
attn { font-weight: bold
; }
-
div.news { margin-bottom: 2em
; }
+
span.flag { font-weight: bold
; }
-div.news ul { margin-left: 4em; }
+a { text-decoration: none; }
+
+a.external { background: transparent url(external.png) center right no-repeat;
+ padding-right: 12px; }