user guide: change page navigation to a table

2019-06-14 17:24:31 -04:00
1 parent baebe744b3
commit 59ab8e46c4
@@ -28,17 +28,17 @@
      a {
        text-decoration: none;
      }
-      #page_nav {
-        margin-top: 2em;
+      .separator {
+        height: 2em;
      }
-      #page_nav_prev {
-        float: left;
+      .page_nav {
+        width: 100%;
+        table-layout: fixed;
      }
-      #page_nav_toc {
+      .page_nav_toc {
        text-align: center;
      }
-      #page_nav_next {
-        float: right;
+      .page_nav_next {
        text-align: right;
      }
      .code {