projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
update a comment
[ghc-hetmet.git]
/
mk
/
fptools.css
diff --git
a/mk/fptools.css
b/mk/fptools.css
index
8af4285
..
97f276c
100644
(file)
--- a/
mk/fptools.css
+++ b/
mk/fptools.css
@@
-4,7
+4,7
@@
div {
background: white
}
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 }
h1 { font: 170% sans-serif }
h2 { font: 140% sans-serif }
@@
-20,9
+20,19
@@
pre {
padding: 0.3em
}
padding: 0.3em
}
-pre.screen { color: green }
+pre.screen { color: #006400 }
pre.programlisting { color: maroon }
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 }
a:link { color: #0000C8 }
a:hover { background: #FFFFA8 }
a:active { color: #D00000 }