diff options
Diffstat (limited to 'mk/fptools.css')
| -rw-r--r-- | mk/fptools.css | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/mk/fptools.css b/mk/fptools.css index 8af4285342..5c7fc47bc5 100644 --- a/mk/fptools.css +++ b/mk/fptools.css @@ -4,7 +4,7 @@ div { 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,16 @@ pre { padding: 0.3em } -pre.screen { color: green } +pre.screen { color: #006400 } pre.programlisting { color: maroon } +div.example { + background-color: #fffcf5; + margin: 1ex 0em; + border: solid #412e25 1px; + padding: 0ex 0.4em +} + a:link { color: #0000C8 } a:hover { background: #FFFFA8 } a:active { color: #D00000 } |