Fixed an opera bug, corrected a few whitespace errors, commented out

redundant 'left' and 'top' attributes of menu.
(ugha)
----------------------------------------------------------------------

styles/default.css

@@ -2,13 +2,13 @@ body {
 	font-family: Verdana, Tahoma, Helvetica, sans-serif;
 	margin: 1em 0em;
 	padding: 0em;
-	text-align:center;
+	text-align: center;
 	background-color: white;
 	color: black;
 }
 
 .hide {
-  display: none
+	display: none;
 }
 
 div.logo {
@@ -25,15 +25,16 @@ div.menu {
 	/* height: 5em; */
 	/* position: fixed; */
 	float: left;
-	left: 1em;
-	top: 1em;
+	/* left: 1em; */
+	/* top: 1em; */
 	margin: 0em;
 	padding: .5em;
 	text-align: left;
 	border: medium solid #efefff;
 	background-color: #fafaff;
 	color: inherit;
-    	font-size: small;
+	font-size: small;
+	clear: left; /* fixes a bug in Opera */
 }
 
 div.warning {