Update Haiku Book CSS

* Update headers to match User Guide better for font and spacing.
* 14.4px is the default font size (matching user guide).
* because we use em's for page width this makes the text area a bit narrower.
* Make note, warning, stop, remark notifications font size smaller to make
  them stand out a bit less and better matches the User Guide.
This commit is contained in:
John Scipione
2013-01-16 12:44:22 -05:00
parent 75dde2cf73
commit 4aae53f373
+9 -13
View File
@@ -26,13 +26,14 @@ body,div,dl,dt,dd,ul,ol,li,h1,h2,h3,h4,h5,h6,pre,form,fieldset,input,textarea,
body { body {
color: #333333; /* mine shaft */ color: #333333; /* mine shaft */
background-color: white; background-color: white;
font-size: 14.4px;
font-family: "DejaVu Sans", Arial, sans-serif; font-family: "DejaVu Sans", Arial, sans-serif;
} }
h1, h2, h3, h4, h5, h6 { h1, h2, h3, h4, h5, h6 {
color: #0c3762; /* madison */ color: #0c3762; /* madison */
margin-top: 0.5em; margin-top: 1em;
margin-bottom: 0.5em; margin-bottom: 1em;
} }
h1 { h1 {
@@ -64,7 +65,6 @@ h5, h6 {
} }
p { p {
font-size: 14.4px;
margin-top: 0.5em; margin-top: 0.5em;
margin-bottom: 0.5em; margin-bottom: 0.5em;
} }
@@ -78,7 +78,6 @@ td, th {
vertical-align: top; vertical-align: top;
text-align: left; text-align: left;
padding: 4px; padding: 4px;
font-size: 14.4px;
} }
caption { caption {
@@ -165,16 +164,16 @@ div.summary {
} }
div.headertitle { div.headertitle {
margin: 0 auto;
width: 59em; width: 59em;
} }
div.headertitle div.title { div.headertitle div.title {
color: #0c3762; /* madison */ color: #0c3762; /* madison */
font-size: 1.2em; font-size: 1.3em;
font-weight: bold; font-weight: bold;
margin-top: 0.5em; border-bottom: dotted thin #c0c0c0; /* silver */
margin-bottom: 0.5em; margin-top: 1em;
margin-bottom: 1em;
} }
.ingroups { .ingroups {
@@ -252,7 +251,6 @@ div.contents {
} }
div.contents ul, div.contents ol { div.contents ul, div.contents ol {
font-size: 14.4px;
line-height: 1.3; line-height: 1.3;
} }
@@ -295,7 +293,6 @@ div.contents span.keycap, div.contents span.keysym {
} }
div.contents div.textblock { div.contents div.textblock {
width: 95%;
margin-bottom: 20px; margin-bottom: 20px;
} }
@@ -313,7 +310,7 @@ div.contents li {
} }
div.contents dd { div.contents dd {
font-size: 14.4px; font-size: 12px;
} }
div.contents dt { div.contents dt {
@@ -323,13 +320,12 @@ div.contents dt {
/* The boxes from the userguide */ /* The boxes from the userguide */
dl.note, dl.remark, dl.warning, dl.attention { dl.note, dl.remark, dl.warning, dl.attention {
width: 100%;
border-style: solid; border-style: solid;
border-width: 2px; border-width: 2px;
margin-top: 24px; margin-top: 24px;
margin-bottom: 24px; margin-bottom: 24px;
padding: 4px; padding: 4px;
min-height: 64px; min-height: 48px;
} }
dl.note { dl.note {