1/* ####################################################################### */ 2/* ## ## */ 3/* ## gaplog.css GAP *.log - File Style Stefan Kohl ## */ 4/* ## ## */ 5/* ####################################################################### */ 6 7body { 8 background: #FFFFFF; 9 color: #000000; 10 11 margin-top: 5mm; 12 margin-bottom: 5mm; 13 margin-left: 5mm; 14 margin-right: 5mm; 15 16 font-family: Helvetica,Verdana,Arial,sans-serif; 17} 18 19pre.logfile { font-family: "Courier New",Courier,monospace; 20 font-size: 100%; } 21 22em.prompt { font-size: 100%; 23 font-style: normal; 24 color: #FF0000; } 25 26em.input { font-size: 100%; 27 font-style: normal; 28 color: #0000FF; } 29 30em.output { font-size: 100%; 31 font-style: normal; 32 color: #284D49; } 33 34a:link { color: #0000AE; text-decoration: none; } 35a:visited { color: #0000AE; text-decoration: none; } 36a:active { color: #000000; text-decoration: none; } 37 38/* ####################################################################### */ 39