+++ /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;
- }