A tiny bit of style for reasonable HTML font size

ChanglinZhou · Jan 21, 2015 · 2def216 · 2def216
1 parent ef55619
commit 2def216
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/contingent/chapter.rst b/contingent/chapter.rst
@@ -1417,7 +1417,12 @@ current value of each node and builds the resulting consequences?
 Python gives us many possible approaches.  [Show various ways of
 registering routines?]
 
+.. raw:: html
 
+   <style>
+     body {font-size: 1.3em; margin: 1em}
+     pre {background-color: #eee; padding: 0.6em;}
+   </style>
 
 .. Links
 .. _Sphinx: http://sphinx-doc.org/