frameborder: 0;
}
-h1 { text-align:center;
- color:#0000A0;
- }
+h1 {
+ text-align:center;
+ color:#0000A0;
+}
-h1.head { text-align:center;
- color:black;
- }
+h1.head {
+ text-align:center;
+ font-weight: bold;
+ color:black;
+}
h2 { color:#a00000;
}
.chapter_title {}
-span.parhead { font-weight: bold;
- }
+span.parhead {
+ font-weight: bold;
+}
-span.example { font-weight: bold;
- font-style: italic;
- }
-pre.example { padding-left: 2 em;
- text-align: left;
- text-indent: 0;
- }
+span.example {
+ font-weight: bold;
+ font-style: italic;
+}
+
+pre.example {
+ padding-left: 2 em;
+ text-align: left;
+ text-indent: 0;
+}
table.navbar { }
In the beginning the Universe was created. This has made a lot of
people very angry and has been widely regarded as a bad move.
Douglas Adams