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