--- /dev/null
+body
+ {
+ background: #ffffff;
+ color: black
+ }
+pre
+ {
+ padding: 0.2em;
+ border: #e7e7e7 1px solid;
+ background: #f1f1f1;
+ color: black;
+ text-indent:10px;
+ }
+
+h3.fn,span.fn
+ {
+ margin-left: 1cm;
+ text-indent: -1cm;
+ }
+
+a:link
+ {
+ color: #004faf;
+ text-decoration: none
+ }
+
+a:visited
+ {
+ color: #672967;
+ text-decoration: none
+ }
+
+.fn
+ {
+ font-weight: bold;
+ }
+
+.paramname
+ {
+ font-style: italic;
+ }