[project @ 2004-08-15 20:28:02 by panne]

[ghc-hetmet.git] / mk / fptools.css

diff --git a/mk/fptools.css b/mk/fptools.css
new file mode 100644 (file)
index 0000000..8e7ad6f
--- /dev/null
+++ b/mk/fptools.css
@@ -0,0 +1,29 @@
+div.article div.book {
+  font-family: sans-serif;
+  color: black;
+  background: white
+}
+
+h1, h2, h3 { color: #005A9C }
+
+h1 { font:            170% sans-serif }
+h2 { font:            140% sans-serif }
+h3 { font:            120% sans-serif }
+h4 { font: bold       100% sans-serif }
+h5 { font: italic     100% sans-serif }
+h6 { font: small-caps 100% sans-serif }
+
+pre {
+  font-family: monospace;
+  border-width: 1px;
+  border-style: solid;
+  padding: 0.3em
+}
+
+pre.screen         { color: green  }
+pre.programlisting { color: maroon }
+
+a:link    { color:      #0000C8 }
+a:hover   { background: #FFFFA8 }
+a:active  { color:      #D00000 }
+a:visited { color:      #680098 }