From: Petr Jelinek <pjmodos@pjmodos.net>
Date: Fri, 27 Mar 2015 21:50:13 +0000 (+0100)
Subject: doc: Make the font bit nices
X-Git-Url: http://git.postgresql.org/gitweb/static/%7B%7Bpguslink%28?a=commitdiff_plain;h=74a8e5a7296f0a211ee208bfb7f5eab54213110a;p=2ndquadrant_bdr.git

doc: Make the font bit nices
---

diff --git a/doc/website-docs.css b/doc/website-docs.css
index 2b605b7684..6f4458cc12 100644
--- a/doc/website-docs.css
+++ b/doc/website-docs.css
@@ -2,9 +2,16 @@
 
 /* requires global.css, table.css and text.css to be loaded before this file! */
 body {
+  font-family: verdana, sans-serif;
   font-size: 76%;
 }
 
+/* monospace font size fix */
+pre, code, kbd, samp, tt {
+  font-family: monospace,monospace;
+  font-size: 1em;
+}
+
 div.NAVHEADER table {
   margin-left: 0;
 }