From: Jean-Philippe Lang <jp_lang@yahoo.fr>
Date: Sat, 25 Jul 2015 06:52:41 +0000 (+0000)
Subject: Merged r14451 (#20372).
X-Git-Tag: 3.1.0~3
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=64354aa68810c0d9c0391ef3aad3db469127ba5d;p=redmine.git

Merged r14451 (#20372).

git-svn-id: http://svn.redmine.org/redmine/branches/3.1-stable@14452 e93f8b46-1217-0410-a6f0-8f06a7374b81
---

diff --git a/public/stylesheets/application.css b/public/stylesheets/application.css
index 1ee082a42..4569010e4 100644
--- a/public/stylesheets/application.css
+++ b/public/stylesheets/application.css
@@ -7,6 +7,7 @@ h2, .wiki h1 {font-size: 20px;}
 h3, .wiki h2 {font-size: 16px;}
 h4, .wiki h3 {font-size: 13px;}
 h4 {border-bottom: 1px dotted #bbb;}
+pre, code {font-family: Consolas, Menlo, "Liberation Mono", Courier, monospace;}
 
 /***** Layout *****/
 #wrapper {background: white;}