user guide: add page navigation links

This commit is contained in:
josh committed 2019-06-14 16:45:59 -04:00
1 parent a11c27f415
commit ca6336c715
2 files changed
+47 -7

No files matched your search

+13
View File
@@ -28,6 +28,19 @@
a {
text-decoration: none;
}
#page_nav {
margin-top: 2em;
}
#page_nav_prev {
float: left;
}
#page_nav_toc {
text-align: center;
}
#page_nav_next {
float: right;
text-align: right;
}
.code {
padding-left: 2ex;
}