From 52159792f0b7e140530588daba94e5e8ea6aa008 Mon Sep 17 00:00:00 2001
From: mpl <mathieu.lonjaret@gmail.com>
Date: Mon, 18 Mar 2013 15:45:03 +0100
Subject: [PATCH] website: do not override gitweb's font size

Change-Id: Ieb426ca28cdf45bf40582a8053357a833397d82d
---
 website/static/all.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/static/all.css b/website/static/all.css
index 3d15174cf..fe4d66a49 100644
--- a/website/static/all.css
+++ b/website/static/all.css
@@ -1,7 +1,6 @@
 body {
 	margin: 0;
 	font-family: Helvetica, Arial, sans-serif;
-	font-size: 16px;
 }
 pre,
 code {
@@ -163,6 +162,7 @@ div.content {
   margin-top: 1em;
   margin-bottom: 1em;
   line-height: 140%;
+  font-size: 16px;
 }
 
 #props {