Add WAY_debug_t_NAME and WAY_debug_t_HC_OPTS

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

diff --git a/mk/fptools.css b/mk/fptools.css
index 8e7ad6f..97f276c 100644 (file)
--- a/mk/fptools.css
+++ b/mk/fptools.css
@@ -1,10 +1,10 @@
-div.article div.book {
+div {
   font-family: sans-serif;
   color: black;
   background: white
 }
 
-h1, h2, h3 { color: #005A9C }
+h1, h2, h3, h4, h5, h6, p.title { color: #005A9C }
 
 h1 { font:            170% sans-serif }
 h2 { font:            140% sans-serif }
@@ -20,9 +20,19 @@ pre {
   padding: 0.3em
 }
 
-pre.screen         { color: green  }
+pre.screen         { color: #006400 }
 pre.programlisting { color: maroon }
 
+div.example {
+  margin: 1ex 0em;
+  border: solid #412e25 1px;
+  padding: 0ex 0.4em
+}
+
+div.example, div.example-contents {
+  background-color: #fffcf5
+}
+
 a:link    { color:      #0000C8 }
 a:hover   { background: #FFFFA8 }
 a:active  { color:      #D00000 }