-rw-r--r-- | content/fireflix.css | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/content/fireflix.css b/content/fireflix.css index 06ae28a..0164b4b 100644 --- a/content/fireflix.css +++ b/content/fireflix.css @@ -83,51 +83,72 @@ div#searchresult_description { min-height: 5em; max-height: 8em; overflow: auto; font-size: 90%; margin: 0.1ex 0.5ex; } #copying div { margin: 1ex 1em; font-family: courier, monospace; font-size: 9pt; padding: 2px; border: dotted 1px gray; background: white; } label#search_page { font-weight: bold; background: white; color: #404040; border-color: #c0c0c0 #404040 #404040 #c0c0c0; border-style: solid; border-width: 1px; -moz-border-radius: 1em; padding: 0.5ex 1ex; } html body { font-family: arial, sans-serif; font-size: 11pt; margin: 1em 4em; padding: 1em 4em; border: double 3px gray; background: #ffffc0; } html h1 { font-size: 130%; color: maroon; } html p { text-align: justify; } html div.copyright { font-size: 60%; text-align: right; } html div.copyright a { text-decoration: none; } +html p.whatsnew { + font-size: 80%; + margin: 0px 0px 0px 50%; + text-align: center; +} +html p.whatsnew a { + display: block; + padding: 1px; + border-style: solid; + border-width: 1px; + border-color: #c0c0c0 #808080 #808080 #c0c0c0; + background: white; color: black; + text-decoration: none; +} +html p.whatsnew a em { font-style: normal; font-weight: bold; } +html p.whatsnew a:hover { + border-color: #808080 #c0c0c0 #c0c0c0 #808080; + background: black; color: white; +} +html p.whatsnew a:hover em { color: red; } + button.lean { min-width: 1ex; } |