From: Thomas Viehmann Date: Sat, 3 May 2008 17:37:15 +0000 (+0000) Subject: credit Tincho, CSS fixes, show 'click to toggle' X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=42bfecd65546322bdbecda3321e99d5a5311048e;p=dak credit Tincho, CSS fixes, show 'click to toggle' --- diff --git a/ChangeLog b/ChangeLog index 8eeb2837..fa9b21cb 100644 --- a/ChangeLog +++ b/ChangeLog @@ -3,6 +3,7 @@ * web/,web/style.css: add web dir and current style.css * dak/examine_package.py, dak/show_new.py: improve NEW html pages, + based on mock-up by M. Ferrari. remove Checksums-* from examine-package output 2008-05-03 Thomas Viehmann diff --git a/dak/examine_package.py b/dak/examine_package.py index 182ed2d8..c7fd38e6 100644 --- a/dak/examine_package.py +++ b/dak/examine_package.py @@ -101,7 +101,7 @@ def headline(s, level=2, bodyelement=None): if use_html: if bodyelement: print """ - %(title)s + %(title)s (click to toggle) """%{"bodyelement":bodyelement,"title":html_escape(s)} else: print "%s" % (level, html_escape(s), level) diff --git a/web/style.css b/web/style.css index c46c8ab6..b942d1b0 100644 --- a/web/style.css +++ b/web/style.css @@ -173,6 +173,17 @@ a:hover{ } /************* NEW details pages ************/ + +/* this overides some overly general styles above */ +#NEW-details-page th { + background-color: white; + padding: 0; +} +#NEW-details-page table { + background-color: white; + padding: 0; +} + #NEW-details-page a img { text-decoration: none; border: none; @@ -198,6 +209,14 @@ a:hover{ color: #FFFF00; text-decoration: underline; } +#NEW-details-page #menu a:visited { + color: #0000FF; + text-decoration: none; +} +#NEW-details-page #menu a:hover { + color: #0000FF; + text-decoration: none; +} #NEW-details-page #red-upperleft { position: absolute; top: 0px; @@ -224,6 +243,11 @@ a:hover{ font-family: serif; font-size: 22px; } +#NEW-details-page .toggle-msg { + font-weight: normal; + font-family: serif; + font-size: 80%; +} #NEW-details-page #menu { font-size: 80%; position: fixed; @@ -235,6 +259,7 @@ a:hover{ } #NEW-details-page #menu p { margin: 0px; + font-size: 80%; } #NEW-details-page .infobox { width: 80%;