ref: a365843a0268630372d1e26a01c9e8e1b1a7ba7c
parent: 089924a4e7f48ffa1cd79c3d66e829f426266d3e
author: uriel <[email protected]>
date: Thu Jun 5 16:01:21 EDT 2008
Have a more reasonable inter-paragraph marging.
--- a/pub/style/style.css
+++ b/pub/style/style.css
@@ -11,7 +11,8 @@
}
html > body {
- font-size: 9pt;
+ /* font-size: 9pt; */
+ font-size: 0.7em;
}
acronym, .titleTip {
@@ -224,7 +225,7 @@
#main-copy p {
- margin: 1em 1ex 2em 1ex;
+ margin: 1em 1ex 1em 1ex;
padding: 0;
}