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;
 }