diff -r 4841b443f1fd -r f65edc0382cc doc/css/style-ie.css
--- a/doc/css/style-ie.css	Wed Apr 25 00:06:27 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-#head #menu {
-	
-	width: 750px;
-	
-}
-
-	#head #menu li {
-		
-		display: inline;
-		position: relative;
-		float: left;
-		margin: 0px;
-		padding: 0px;
-		
-	}
\ No newline at end of file