clean up codeblock styles

2026-06-05 22:50:18 +00:00 · 2016-02-19 01:52:59 -05:00
parent 60b591eaac
commit f422ace07e
1 changed files with 4 additions and 0 deletions
@@ -12,11 +12,15 @@
  /* Make the document a little wider, less code is cut-off. */
  div.document {width: 1008px;}

+  /* Much-improved spacing around code blocks. */
+  div.highlight pre {padding: 11px 14px;}
+
  /* Remain Responsive! */
  @media screen and (max-width: 1008px) {
    div.sphinxsidebar {display: none;}
    div.document {width: 100%!important;}
  }
+
 </style>

 <!-- Analytics tracking for Kenneth. -->