diff options
Diffstat (limited to 'skin')
-rw-r--r-- | skin/genenetwork/banner.html | 9 | ||||
-rw-r--r-- | skin/genenetwork/footer.html | 4 | ||||
-rw-r--r-- | skin/genenetwork/gemtext.css | 10 |
3 files changed, 17 insertions, 6 deletions
diff --git a/skin/genenetwork/banner.html b/skin/genenetwork/banner.html index 49f2d8c..23183d2 100644 --- a/skin/genenetwork/banner.html +++ b/skin/genenetwork/banner.html @@ -1,7 +1,10 @@ -<h1>GeneNetwork issue tracker</h1> -<a href="https://genenetwork.org">GeneNetwork.org</a> | +<div class="title">GeneNetwork issue tracker</div> + +<div class="menu"> +| <a href="https://genenetwork.org">GeneNetwork.org</a> | <a href="/gemini/gn-gemtext-threads/tracker.gmi">Issue tracker</a> | <a href="/gemini/gn-gemtext-threads/index.gmi">Index</a> | -<a href="/gemini/gn-gemtext-threads/about.gmi">About</a> +<a href="/gemini/gn-gemtext-threads/about.gmi">About</a> | +</div> <hr /> diff --git a/skin/genenetwork/footer.html b/skin/genenetwork/footer.html index f9c2799..4cb51d1 100644 --- a/skin/genenetwork/footer.html +++ b/skin/genenetwork/footer.html @@ -1,3 +1,7 @@ <hr /> +<div class="footer"> + Life in plain text! This site is built with 4G: gemini, gemtext, git, guile! With a dash of Sinatra. + +</div> 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; } |