User: allsopp
Date: 01/01/15 21:55:13
Modified: documentation HowTo.css
Log:
Fixed some right-margin typos ("o.5in"?) and added generic alternatives to
the fonts.
Revision Changes Path
1.2 +7 -7 newsite/documentation/HowTo.css
Index: HowTo.css
===================================================================
RCS file: /products/cvs/ejboss/newsite/documentation/HowTo.css,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- HowTo.css 2000/11/12 20:33:23 1.1
+++ HowTo.css 2001/01/16 05:55:12 1.2
@@ -16,7 +16,7 @@
margin-left:0.5in;
margin-top:1em;
margin-bottom:1em;
- margin-right:o.5in;
+ margin-right:0.5in;
background-color:white;
}
DIV.code {
@@ -29,27 +29,27 @@
white-space:pre;
}
DIV.footer {
- font:normal 12pt 'times new roman',serif;
+ font:normal 12pt 'times new roman', serif;
margin-left:0.1in;
margin-top:1em;
margin-bottom:1em;
- margin-right:o.1in;
+ margin-right:0.1in;
background-color:lightskyblue;
}
DIV OL {
- font:normal 12pt 'times new roman';
+ font:normal 12pt 'times new roman', serif;
margin-left:0.5in;
margin-top:1em;
margin-bottom:1em;
- margin-right:o.5in;
+ margin-right:0.5in;
background-color:khaki;
}
DIV UL {
- font:normal 12pt 'times new roman';
+ font:normal 12pt 'times new roman', serif;
margin-left:0.5in;
margin-top:1em;
margin-bottom:1em;
- margin-right:o.5in;
+ margin-right:0.5in;
background-color:lightgreen;
}
DIV B {
