diff options
Diffstat (limited to 'manpage.css')
-rw-r--r-- | manpage.css | 22 |
1 files changed, 1 insertions, 21 deletions
diff --git a/manpage.css b/manpage.css index 731cec4..e24076d 100644 --- a/manpage.css +++ b/manpage.css @@ -1,28 +1,8 @@ -body { - font-family: "Times New Roman", serif; - font-size: 12pt; - padding: 2%; - line-height: 130%; - margin: 0; - /*color: #036;*/ -} -h1 { - font-size: 220%; - font-weight: bold; - /*text-align: center;*/ - padding: 0 0 0.4em 0.1em; - margin: 0 0 0.5em 0; - border-bottom: 2px solid black; -} +@import "style.css"; h2 { - margin: 1em 0 0.8em 0; - padding: 0; font-variant: small-caps; font-size: 170%; } -pre, tt, kbd, code, pre samp { - font-family: "Courier 10 Pitch", Courier, "Courier New", monospace; -} .INFORMALEXAMPLE { margin-bottom: 1.2em; } |