--- hatari/doc/manual.html 2019/04/01 07:15:45 1.1.1.9 +++ hatari/doc/manual.html 2019/04/09 08:47:34 1.1.1.10 @@ -21,6 +21,14 @@ h2 { border-bottom:solid thin black;} h4.gui { clear:right } + h5 { margin-bottom:2px; margin-left:1em; } + + pre { color: black; + background-color: #eeeeee; + margin: 0px 20px 8px 20px; + padding: 2px 8px 1px 8px; + border: solid thin #ccaa88; + } td { font-family:Verdana,Arial,Helvetica,sans-serif; } @@ -31,7 +39,7 @@ *.commandline { font-family:Fixed,Courier,monospace; font-size:90% } *.file { color: #000088;} - *.button { color: #468E64;} + *.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; } @@ -46,11 +54,11 @@

Hatari User's Manual

-Version 1.2 +Version 1.3

Manual written by: Thomas Huth, Matthias Arndt - & Eero Tamminen + & Eero Tamminen

Hatari on the WWW: The GUI