diff options
Diffstat (limited to 'skin/genenetwork/gemtext.css')
| -rw-r--r-- | skin/genenetwork/gemtext.css | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/skin/genenetwork/gemtext.css b/skin/genenetwork/gemtext.css index ff3fa38..6f08fdd 100644 --- a/skin/genenetwork/gemtext.css +++ b/skin/genenetwork/gemtext.css @@ -1,4 +1,4 @@ -.title { font-family: Lucida Sans Typewriter,Lucida Console,monaco,Bitstream Vera Sans Mono,monospace } +.title { font-family: Lucida Sans Typewriter,Lucida Console,monaco,Bitstream Vera Sans Mono,monospace; margin: -10px -25px 10px 40px; font-size: 300%; } .table-of-contents { font-family: monospace; color: red; } .timestamp { font-family: monospace; color: darkgreen; } @@ -6,9 +6,13 @@ h1,h2 { font-family: Lucida Sans Typewriter,Lucida Console,monaco,Bitstream Vera h2,h3,h4 { color: darkblue; } body {font-family: Palatino, 'Palatino Linotype', serif; color:black; font-size: large } -div.verbatim { color: black; background-color: white; border-style:outset; font-family: palatino font, monospace; font-size:80%; font-weight:bold; } -div.quote { font-family: palatino font, monospace; font-size:80%; } +div.banner { background-color: #336699; color: white ; margin: -10px; } +div.menu { background-color: #d5d5d5; } +div.footer { color: #336699; background-color: white } +div.verbatim { color: black; background-color: lightyellow; border-style:outset; font-family: palatino font, monospace; border-width: 2px ; font-size:110%; font-weight:bold; } +div.quote { font-family: palatino font, monospace; font-weight: bold; color: darkblue ; font-size:90%; } div.quotation { font-family: palatino font, monospace; font-size:80%; } +pre { margin: 15px; } pre.example { font-family: prestige, monospace; color:black; font-size:70%; background-color: lightyellow; } pre.src { font-family: prestige, monospace; font-weight: bold; color:white; font-size:80%; background-color: black; } |