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(-) (limited to 'skin') 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