aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/css.cc14
1 files changed, 12 insertions, 2 deletions
diff --git a/src/css.cc b/src/css.cc
index 74683eb2..a389fe18 100644
--- a/src/css.cc
+++ b/src/css.cc
@@ -125,8 +125,6 @@ CssStyleSheet * CssContext::buildUserAgentStyle () {
props = new CssPropertyList ();
v.size = 40;
props->set (CssProperty::CSS_PROPERTY_FONT_SIZE, v);
- v.name = "Times";
- props->set (CssProperty::CSS_PROPERTY_FONT_FAMILY, v);
s->addRule (new CssSelector(a_Html_tag_index("h1"), NULL, NULL), props);
// <h2>
@@ -140,6 +138,12 @@ CssStyleSheet * CssContext::buildUserAgentStyle () {
v.size = 20;
props->set (CssProperty::CSS_PROPERTY_FONT_SIZE, v);
s->addRule (new CssSelector(a_Html_tag_index("h3"), NULL, NULL), props);
+
+ // <pre>
+ props = new CssPropertyList ();
+ v.name = "DejaVu Sans Mono";
+ props->set (CssProperty::CSS_PROPERTY_FONT_FAMILY, v);
+ s->addRule (new CssSelector(a_Html_tag_index("pre"), NULL, NULL), props);
return s;
}
@@ -163,5 +167,11 @@ CssStyleSheet * CssContext::buildUserStyle (bool important) {
props->set (CssProperty::CSS_PROPERTY_COLOR, v);
s->addRule (new CssSelector(a_Html_tag_index("body"), NULL, NULL), props);
+ // <pre>
+ props = new CssPropertyList ();
+ v.name = prefs.fw_fontname;
+ props->set (CssProperty::CSS_PROPERTY_FONT_FAMILY, v);
+ s->addRule (new CssSelector(a_Html_tag_index("pre"), NULL, NULL), props);
+
return s;
}