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 {