Changed CSS to use 'Courier New' instead of 'Courier'.
This commit is contained in:
parent
de7d35026f
commit
3c737395e4
|
@ -44,7 +44,7 @@ b {
|
||||||
pre {
|
pre {
|
||||||
display: block;
|
display: block;
|
||||||
white-space: pre;
|
white-space: pre;
|
||||||
font-family: courier;
|
font-family: courier new;
|
||||||
font-size: 87.5%;
|
font-size: 87.5%;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -124,19 +124,19 @@ pre {
|
||||||
|
|
||||||
.arg {
|
.arg {
|
||||||
font-style: italic;
|
font-style: italic;
|
||||||
font-family: courier;
|
font-family: courier new;
|
||||||
}
|
}
|
||||||
|
|
||||||
.userinput {
|
.userinput {
|
||||||
display: block;
|
display: block;
|
||||||
white-space: pre;
|
white-space: pre;
|
||||||
font-family: courier;
|
font-family: courier new;
|
||||||
font-size: 87.5%;
|
font-size: 87.5%;
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
}
|
}
|
||||||
|
|
||||||
.code {
|
.code {
|
||||||
font-family: courier;
|
font-family: courier new;
|
||||||
}
|
}
|
||||||
|
|
||||||
.code table {
|
.code table {
|
||||||
|
@ -147,7 +147,7 @@ pre {
|
||||||
.codeblock {
|
.codeblock {
|
||||||
display: block;
|
display: block;
|
||||||
white-space: pre;
|
white-space: pre;
|
||||||
font-family: courier;
|
font-family: courier new;
|
||||||
font-size: 87.5%;
|
font-size: 87.5%;
|
||||||
border: 1px solid #000000;
|
border: 1px solid #000000;
|
||||||
padding: 1em;
|
padding: 1em;
|
||||||
|
|
Loading…
Reference in New Issue