equal
deleted
inserted
replaced
1 /* style file for Isabelle XHTML/XML output */ |
1 /* style file for Isabelle XHTML/XML output */ |
2 |
2 |
3 @font-face { |
3 @font-face { |
4 font-family: 'IsabelleText'; |
4 font-family: 'IsabelleText'; |
5 src: url('IsabelleText.ttf') format('truetype'); |
5 src: url('fonts/IsabelleText.ttf') format('truetype'); |
6 } |
6 } |
7 |
7 |
8 @font-face { |
8 @font-face { |
9 font-family: 'IsabelleText'; |
9 font-family: 'IsabelleText'; |
10 src: url('IsabelleTextBold.ttf') format('truetype'); |
10 src: url('fonts/IsabelleTextBold.ttf') format('truetype'); |
11 font-weight: bold; |
11 font-weight: bold; |
12 } |
12 } |
13 |
13 |
14 @font-face { |
14 @font-face { |
15 font-family: 'Vacuous'; |
15 font-family: 'Vacuous'; |
16 src: url('Vacuous.ttf') format('truetype'); |
16 src: url('fonts/Vacuous.ttf') format('truetype'); |
17 } |
17 } |
18 |
18 |
19 body { background-color: #FFFFFF; } |
19 body { background-color: #FFFFFF; } |
20 |
20 |
21 .head { background-color: #FFFFFF; } |
21 .head { background-color: #FFFFFF; } |