Index: other/help/english/style.css
===================================================================
diff -u -N
--- other/help/english/style.css	(revision 8de412e22bd023e3f2a146ea3921eeaef0f5f1bd)
+++ other/help/english/style.css	(revision 0)
@@ -1,43 +0,0 @@
-.footer
-{
-	font-weight: normal;
-	font-size: x-small;
-	color: silver;
-	font-family: Arial;
-}
-.header
-{
-	font-weight: normal;
-	font-size: x-small;
-	color: silver;
-	font-family: Arial;
-}
-.headertitle
-{
-	font-size: medium;
-	color: black;
-	font-family: Arial;
-}
-.section
-{
-	font-weight: normal;
-	font-size: medium;
-	color: black;
-	font-family: Arial;
-}
-.text
-{
-	font-size: x-small;
-	color: black;
-	font-family: Arial;
-}
-PRE
-{
-	font-size: x-small;
-}
-.seealso
-{
-	font-size: x-small;
-	color: black;
-	font-family: Arial;
-}