From 8692ce1e7a747071d0bc0d1b37404cf6f3034469 Mon Sep 17 00:00:00 2001
From: Mike Bayer <mike_mp@zzzcomputing.com>
Date: Wed, 4 Jul 2007 17:11:03 +0000
Subject: [PATCH] css tweak

---
 doc/docs.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/docs.css b/doc/docs.css
index d65f5aff5e..e78533cb83 100644
--- a/doc/docs.css
+++ b/doc/docs.css
@@ -148,6 +148,7 @@ h3 {
 
 .code {
 	font-family: courier, "courier new", serif;
+	font-size:12px;
 	background-color: #f0f0f0;	
 	border: solid 1px #ccc;
 	padding:2px 2px 2px 10px;
-- 
2.47.2