manpage.css, style.css:

* moved some rules from the first to the latter, and @import the latter for the
  manpage. 
* added some further formatting for index.html.
This commit is contained in:
Nikolaus Schulz 2007-11-06 23:38:05 +00:00
parent 61d0e803c6
commit 54fbaf5844
2 changed files with 55 additions and 22 deletions

View File

@ -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;
}

View File

@ -1 +1,54 @@
BODY { background: white; color: black; }
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;
padding: 0 0 0.4em 0.1em;
/*margin: 0 0 0.5em 0; */
margin: 0;
/*border-bottom: 2px solid black;*/
}
hr {
border: 1px #b8b8b8 solid;
}
h1 + hr {
margin-top: 0;
margin-bottom: 1.7em;
}
h2 {
margin: 1em 0 0.8em 0;
padding: 0;
font-size: 150%;
}
pre, tt, kbd, code, pre samp {
font-family: "Courier 10 Pitch", Courier, "Courier New", monospace;
}
img {border: none;}
a {
text-decoration: underline;
}
a:link {
/*color: #0073c7;*/
color: blue;
background-color: inherit;
}
a:visited {
/*color: #5A88B5;*/
color: #844084;
background-color: inherit;
}
/*
a:hover,
a:active {
color: #0073c7;
background-color: #f0f0f0;
}
*/