Use serif instead of times roman directly

This commit is contained in:
kipp 1998-06-05 17:53:46 +00:00
parent 0e01e46467
commit 63b4b0d1d0
2 changed files with 4 additions and 4 deletions

View File

@ -22,7 +22,7 @@
// comes from the PresentationContext.
BODY {
font-family: "Times Roman", serif;
font-family: serif;
font-style: normal;
font-variant: normal;
font-weight: normal;
@ -37,7 +37,7 @@ BODY {
// XXX Use this!
FRAMESET {
font-family: "Times Roman", serif;
font-family: serif;
font-style: normal;
font-variant: normal;
font-weight: normal;

View File

@ -22,7 +22,7 @@
// comes from the PresentationContext.
BODY {
font-family: "Times Roman", serif;
font-family: serif;
font-style: normal;
font-variant: normal;
font-weight: normal;
@ -37,7 +37,7 @@ BODY {
// XXX Use this!
FRAMESET {
font-family: "Times Roman", serif;
font-family: serif;
font-style: normal;
font-variant: normal;
font-weight: normal;