From 87a9aa2f279e3367bb750c3c9329cc9e3e814c64 Mon Sep 17 00:00:00 2001 From: Paul van Tilburg Date: Sun, 15 Jan 2012 16:19:41 +0100 Subject: [PATCH] Make our style CSS override the CSS from highlight.js; set body font family --- public/index.html | 2 +- public/stylesheets/style.css | 7 ++++++- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/public/index.html b/public/index.html index 34d2fbe..4e3b7e5 100644 --- a/public/index.html +++ b/public/index.html @@ -3,8 +3,8 @@ Plemp! - + diff --git a/public/stylesheets/style.css b/public/stylesheets/style.css index e3f1e83..1103136 100644 --- a/public/stylesheets/style.css +++ b/public/stylesheets/style.css @@ -1,7 +1,12 @@ /* CSS style file for Plemp! */ +body { + font-family: sans-serif; +} + pre { - margin: 0 0; + margin: 0px 0px; + padding: 6px; font-size: 12px; }