diff options
| author | Ingo Schwarze <schwarze@openbsd.org> | 2014-03-03 18:53:27 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2014-03-03 18:53:27 +0000 |
| commit | f9e10f1438b505a8b1a357ecbdde09d459357c52 (patch) | |
| tree | 513670e6e8f48597f817d85f6b16ee6c708c5399 /index.css | |
| parent | 7f558572ae5cbab576e7150a5bc5c6eacbbf5f4f (diff) | |
| download | mandoc-f9e10f1438b505a8b1a357ecbdde09d459357c52.tar.gz | |
- remove index.html, it is now part of the website repo
- install mandocdb, manpage, and apropos
- and some general cleanup (e.g., installcgi is .PHONY)
Diffstat (limited to 'index.css')
| -rw-r--r-- | index.css | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/index.css b/index.css deleted file mode 100644 index d98316ea..00000000 --- a/index.css +++ /dev/null @@ -1,48 +0,0 @@ -html { min-width: 40em; - margin-top: 2em; - margin-left: auto; - margin-right: auto; - width: 80%; } - -body { text-align: justify; - font-family: Helvetica,Arial,sans-serif; - line-height: 120%; - font-size: small; } - -p,ul,table { margin-left: 3em; } - -p.head, -p.subhead, -p.foot { margin-left: 0.0em; margin-right: 0.0em; } - -p.news { margin-left: 2.0em; } - -li { margin: 0.25em; } - -h1 { font-size: 110%; } -h2 { font-size: 105%; margin-left: 1.5em } - -p.head { margin-bottom: 0.5em; - border-bottom: 1px solid #dddddd; - padding-bottom: 0.2em; } - -p.subhead { margin-top: 0em; - margin-bottom: 1.75em; } - -p.foot { border-top: 1px solid #dddddd; - color: #666666; - padding-top: 0.2em; - margin-top: 1.75em; } - -span.nm { color: green; } - -span.file { font-style: italic; } - -span.attn { font-weight: bold; } - -span.flag { font-weight: bold; } - -a { text-decoration: none; } - -a.external { background: transparent url(external.png) center right no-repeat; - padding-right: 12px; } |