From e6d0e656521eb7585835a6bf66307cbaedc45e8a Mon Sep 17 00:00:00 2001
From: Pjotr Prins
Date: Mon, 31 Jan 2022 10:54:36 -0600
Subject: genenetwork skin changes
---
skin/genenetwork/banner.html | 9 ++++++---
skin/genenetwork/footer.html | 4 ++++
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 @@
-
GeneNetwork issue tracker
-GeneNetwork.org |
+GeneNetwork issue tracker
+
+
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 @@
+
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; }
--
cgit v1.2.3