bugfix, possible crash

2016-09-28 15:02:21 +00:00
parent c8dbfd6434
commit 032c5e750d
13 changed files with 597 additions and 35 deletions
--- a/doc/style.css
+++ b/doc/style.css
@@ -0,0 +1,38 @@
+#titlearea {
+  display: flex;
+  justify-content: space-between;
+  align-items: flex-begin;
+}
+#titlearea nav {
+  padding: 0;
+  margin: 0;
+}
+#titlearea nav a {
+  background-color: lightgray;
+  border: 1px solid gray;
+  color: black;
+  padding: 1ex;
+  margin: 0;
+}
+img, object {
+  max-width: 100% !important;
+}
+@media (max-width: 50em) {
+  #navrow1, #navrow2 {
+    display: block
+  }
+  #side-nav, #splitbar, .ui-resizable-handle ui-resizable-e, .ui-resizable-handle ui-resizable-s {
+    display: none;
+  }
+  #doc-content {
+    margin-left: 0 !important;
+  }
+}
+@media (min-width: 50em) {
+  #navrow1, #navrow2 {
+    display: none;
+  }
+  #side-nav, #splitbar, .ui-resizable-handle ui-resizable-e, .ui-resizable-handle ui-resizable-s {
+    display: block
+  }
+}