Index: assets/stylesheets/red-andy.css
===================================================================
--- assets/stylesheets/red-andy.css	(revision 80)
+++ assets/stylesheets/red-andy.css	(working copy)
@@ -54,13 +54,10 @@
     background-color: #536a3f;
     background-image: url(../../../themes/red-andy/images/menu-background.png);
     background-repeat: repeat-x;
-    border-color: #afc69c #435335 #435335 #afc69c;
+    border-width: 0px;
     -moz-text-shadow: 1px 1px 1px #435335;
     text-shadow: 1px 1px 1px #435335;
 }
-a:active.wiking.button {
-    border-color: #435335 #afc69c #afc69c #435335;
-}
 div.footnotes {
     border-top: 1px solid #cf973d;
     margin-top: 2em;