--- hatari/doc/manual.html	2019/04/09 08:47:34	1.1.1.10
+++ hatari/doc/manual.html	2019/04/09 08:48:16	1.1.1.11
@@ -12,7 +12,7 @@
   <meta http-equiv="Content-Style-Type" content="text/css">
   <style type="text/css">
   <!--
-	body {  background-color:#FFFFFF;
+	body {  background:#FFFFFF;
 		color:#000000;
 		margin-left:10px;
 		margin-right:10px;
@@ -24,7 +24,7 @@
 	h5 { margin-bottom:2px; margin-left:1em; }
 
 	pre {	color: black;
-		background-color: #eeeeee;
+		background:#eeeeee;
 		margin: 0px 20px 8px 20px;
 		padding: 2px 8px 1px 8px;
 		border: solid thin #ccaa88;
@@ -32,18 +32,18 @@
 
 	td { font-family:Verdana,Arial,Helvetica,sans-serif; }
 
-	a:link { color:#000099; background-color:#ffffff; text-decoration:none; }
-	a:visited { color:#cc0000; background-color:#ffffff; text-decoration:none;}
-	a:hover { color:#0000ff; background-color:#ffffff; text-decoration:none; }
-	a:active { color:#993399; background-color:#ffffff; text-decoration:none; }
-
-	*.commandline { font-family:Fixed,Courier,monospace; font-size:90% }
-	*.file { color: #000088;}
-	*.button { color:#000000; background-color:#c0c0c0; border:outset thin grey; font-family:Fixed,Courier,monospace; padding-left:1em; padding-right:1em;}
-	*.key { color:#550000; font-family:Fixed,Courier,monospace; font-size:90% }
-	*.backdropped { background-color:#ffffee; }
-	*.image {margin-left: 5px; margin-right: 5px; border-width:2px; border-style:solid; border-color:#eeeeff; padding:1cm; text-align:center; }
-	*.floatimage { clear:right; float:right; margin-left:0.5cm; border-width:2px; border-style:solid; border-color:#eeeeff; padding:0.5cm; }
+	a:link { color:#000099; background:#ffffff; text-decoration:none; }
+	a:visited { color:#cc0000; background:#ffffff; text-decoration:none;}
+	a:hover { color:#0000ff; background:#ffffff; text-decoration:none; }
+	a:active { color:#993399; background:#ffffff; text-decoration:none; }
+
+	.commandline { font-family:Courier,monospace; font-size:90% }
+	.file { color: #000088;}
+	.button { color:#000000; background:#c0c0c0; border:outset thin gray; font-family:Courier,monospace; padding-left:1em; padding-right:1em;}
+	.key { color:#550000; font-family:Courier,monospace; font-size:90% }
+	.backdropped { background:#ffffee; }
+	.image {margin-left: 5px; margin-right: 5px; border-width:2px; border-style:solid; border-color:#eeeeff; padding:1cm; text-align:center; }
+	.floatimage { clear:right; float:right; margin-left:0.5cm; border-width:2px; border-style:solid; border-color:#eeeeff; padding:0.5cm; }
 
   -->
   </style>