--- /dev/null
+pre {
+ background-color: #F5F5F5;
+ border: 1px dashed blue;
+ padding: 0.2em;
+}
+
+code {
+ background-color: #F5F5F5;
+}
+
+h2 {
+ margin-bottom: 0em;
+ margin-top: 1.5em;
+}
+
+p,ul,ol {
+ margin: 0.5em 0;
+}
+
+.gallery table.img {
+ display: inline;
+ /*float: left; needs tuning */
+}
+
+.header {
+ font-size: 100%;
+ font-weight: normal;
+}
+
+.page {
+ width: 50em;
+}