Add font-size hack

2018-09-11 19:07:08 +05:30 · 2018-09-11 19:07:08 +05:30 · 92dc4af723
parent 8d4dff7c8a
commit 92dc4af723
1 changed files with 1 additions and 0 deletions
--- a/docs/_templates/hacks.html
+++ b/docs/_templates/hacks.html
@ -1,4 +1,5 @@
 <style type="text/css">
+  div.section h1 {font-size: 225%;}
  /* "Quick Search" should be capitalized. */
  div#searchbox h3 {text-transform: capitalize;}
  /* Make the document a little wider, less code is cut-off. */