diff -r 2cb34a4ac65a -r 6b5a4c21e061 doc/manual/en/html/manual.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/manual/en/html/manual.css	Tue Jun 05 18:43:21 2007 +0200
@@ -0,0 +1,40 @@
+/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
+.MATH    { font-family: "Century Schoolbook", serif; }
+.MATH I  { font-family: "Century Schoolbook", serif; font-style: italic }
+.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }
+
+/* implement both fixed-size and relative sizes */
+SMALL.XTINY		{ font-size : xx-small }
+SMALL.TINY		{ font-size : x-small  }
+SMALL.SCRIPTSIZE	{ font-size : smaller  }
+SMALL.FOOTNOTESIZE	{ font-size : small    }
+SMALL.SMALL		{  }
+BIG.LARGE		{  }
+BIG.XLARGE		{ font-size : large    }
+BIG.XXLARGE		{ font-size : x-large  }
+BIG.HUGE		{ font-size : larger   }
+BIG.XHUGE		{ font-size : xx-large }
+
+/* heading styles */
+H1		{  }
+H2		{  }
+H3		{  }
+H4		{  }
+H5		{  }
+
+/* mathematics styles */
+DIV.displaymath		{ }	/* math displays */
+TD.eqno			{ }	/* equation-number cells */
+
+
+/* document-specific styles come next */
+DIV.navigation		{   }
+SPAN.bfseries		{   }
+DIV.center		{   }
+SPAN.upshape		{   }
+SPAN.mdseries		{   }
+SPAN.alph		{   }
+SPAN.arabic		{   }
+SPAN.textbf		{ font-weight: bold  }
+SPAN.roman		{   }
+#hue725		{ color: #000000;  }