Some minor doc cleanups and tweaks.

2015-07-01 08:11:10 -07:00
parent 70cc371379
commit a44e07deba
5 changed files with 11 additions and 10 deletions
@@ -201,7 +201,7 @@ code {

 pre {
  margin: 10px 0;
-  line-height: 18px;
+  line-height: 20px;
  padding: 10px;

  // Scroll horizontally if not wide enough.