Minor responsive update
diff --git a/public/responsive.css b/public/responsive.css
index 80ba826..65096d3 100644
--- a/public/responsive.css
+++ b/public/responsive.css
@@ -17,6 +17,7 @@
top: 0;
border-width: 0;
padding: 0;
+ font-size: 9pt;
}
#tutorial > iframe {
@@ -68,8 +69,18 @@
display: none;
}
-#pagination {
- width: 100%;
- right: auto;
- margin: 0 auto;
+#search > ol > li {
+ font-size: 9pt;
+}
+
+#search > ol > li:not(.active) {
+ padding: 4pt 0 5pt 0;
+}
+
+#search > ol > li.active {
+ padding: 0 0 0 0;
+}
+
+code.query.serial {
+ font-size: 10pt;
}
\ No newline at end of file