summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--skin/genenetwork/banner.html9
-rw-r--r--skin/genenetwork/footer.html4
-rw-r--r--skin/genenetwork/gemtext.css10
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; }