diff options
| -rw-r--r-- | polly/www/menu.css | 19 | ||||
| -rw-r--r-- | polly/www/menu.html.incl | 1 |
2 files changed, 11 insertions, 9 deletions
diff --git a/polly/www/menu.css b/polly/www/menu.css index d74c607f910..a3e3ad728b4 100644 --- a/polly/www/menu.css +++ b/polly/www/menu.css @@ -3,7 +3,7 @@ /***************/ #menu { - line-height:1.3; + line-height: 1.3em; width: 18em; float: left; margin-right: 3em; @@ -40,6 +40,8 @@ -webkit-border-radius: 5px; -moz-border-radius: 5px; border-radius: 5px; + padding-top: 0.2em; + padding-bottom: 0.2em; } #menu a { @@ -53,11 +55,6 @@ color: #3b4567; } - -#menu a:hover { - background: #f35555; - color: #3b4567; -} #menu a:visited { } @@ -69,9 +66,13 @@ background-color: #f35555; } -#menu a.rss_item:hover { - background-color: transparent; - color: none; +.rss-box { + padding: 0em; +} + +li.rss-item { + padding-bottom: 0em; + height: 1.3em; } .rss_item { diff --git a/polly/www/menu.html.incl b/polly/www/menu.html.incl index 5d0347bfd9a..4239b25aa6b 100644 --- a/polly/www/menu.html.incl +++ b/polly/www/menu.html.incl @@ -50,6 +50,7 @@ Optimizations</span></h2> href="http://feed2js.org//feed2js.php?src=http%3A%2F%2Fpolyhedral.info%2Frss.xml&num=5&utf=y&html=y">View RSS feed</a> </noscript> + </div> </div> <script type="text/javascript"> |
