X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Ffptools.css;fp=mk%2Ffptools.css;h=8e7ad6f8c0cf0d64a9cec81bd6cd36505fd8611e;hb=53386c359c55bd6eaa13c35fe174c9274ff5888e;hp=0000000000000000000000000000000000000000;hpb=d318ca89a80f6c4f12555e2feb754e7b793232b0;p=ghc-hetmet.git

diff --git a/mk/fptools.css b/mk/fptools.css
new file mode 100644
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 }