website: do not override gitweb's font size

Change-Id: Ieb426ca28cdf45bf40582a8053357a833397d82d
This commit is contained in:
mpl 2013-03-18 15:45:03 +01:00
parent a538726253
commit 52159792f0
1 changed files with 1 additions and 1 deletions

View File

@ -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 {