fonts cleanup
This commit is contained in:
parent
8e0c91273f
commit
76d8072d40
Binary file not shown.
Binary file not shown.
|
@ -31,6 +31,6 @@
|
|||
|
||||
/* DejaVu Sans Mono */
|
||||
@font-face {
|
||||
font-family:'DejaVu Sans Mono';
|
||||
src:local('DejaVu Sans Mono'), url(../fonts/DejaVuSansMono.ttf) format('truetype');
|
||||
font-family:'Droid Sans Mono';
|
||||
src:local('Droid Sans Mono'), url(../fonts/DroidSansMono.ttf) format('truetype');
|
||||
}
|
|
@ -187,7 +187,7 @@ A {
|
|||
.slide ARTICLE PRE CODE {
|
||||
display:block;
|
||||
white-space:pre;
|
||||
font-family:'DejaVu Sans Mono', monospace;
|
||||
font-family:Consolas, 'Droid Sans Mono', monospace;
|
||||
}
|
||||
.slide ARTICLE PRE CODE:before {
|
||||
position:absolute;
|
||||
|
|
Loading…
Reference in New Issue