banner border #a9a9a9 instead of #000000

13 years ago · e077166030
1 changed files with 1 additions and 1 deletions
--- a/stylesheets/style.css
+++ b/stylesheets/style.css
@ -104,7 +104,7 @@ p.fileinfo {
 	padding-right: 7em;
 }
 div.banner {
-	background-color: #E04000;
+	background-color: #a9a9a9;
 	font-size: 12pt;
 	font-weight: bold;
 	text-align: center;