more user styles

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;
 }