Tweaks

openpilot-community · Jul 23, 2018 · 22e4e8f · 22e4e8f
1 parent 05bb229
commit 22e4e8f
Showing 1 changed file with 49 additions and 1 deletion.
diff --git a/.assets/openpilot-docs.css b/.assets/openpilot-docs.css
@@ -9,7 +9,45 @@
 .book-summary ul.summary li a, .book-summary ul.summary li span {
   color:#777;
 }
-
+.book-header {
+  font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;
+  overflow: visible;
+  height: 50px;
+  padding: 0 8px;
+  z-index: 2;
+  font-size: .85em;
+  color: #7e888b;
+  top: 0;
+  left: 0;
+  width: 100%;
+  position: fixed;
+  z-index: 0;
+  background: 0 0;
+  background-color: #FFF;
+  z-index: 2;
+  border-bottom: 1px solid rgba(0,0,0,0.2);
+}
+.book-header {
+  font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;
+  overflow: visible;
+  height: 50px;
+  padding: 0 8px;
+  z-index: 2;
+  font-size: .85em;
+  color: #7e888b;
+  background: 0 0;
+}
+div.h1 {
+  font-size: 2em;
+  margin: .67em 0;
+}
+.book-header div.h1 a, .book-header div.h1 a:hover {
+  color: inherit;
+  text-decoration: none;
+}
+.book-header div.h1 i {
+  display: none;
+}
 .book-header div.h1 {
   margin: 0;
   font-size: 20px;
@@ -32,6 +70,16 @@
   white-space: nowrap;
 }
 
+div.h1 {
+  display: block;
+  font-size: 2em;
+  -webkit-margin-before: 0.67em;
+  -webkit-margin-after: 0.67em;
+  -webkit-margin-start: 0px;
+  -webkit-margin-end: 0px;
+  font-weight: bold;
+}
+
 .gitbook-link {
   display:none!important;
 }