Add margin to header logo

Author: weavejester

docinfo.html

@@ -5,6 +5,7 @@
      background-size: 66px;
      background-position: 0px 46px;
      padding-left: 80px;
+     margin-left: .9375em;
  }
  .concise-index ul {
      columns: 19em;