diff --git a/docs/index.html b/docs/index.html
index 0877bbb1..5520afc1 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -20,7 +20,7 @@
display: none;
}
- h1 + ul {
+ h1+ul {
display: block !important;
}
@@ -66,9 +66,26 @@
.markdown-section pre>code {
font-family: Consolas, Roboto Mono, Monaco, courier, monospace !important;
- font-size: .9rem !important;
}
+ @media (min-width:600px) {
+ .markdown-section pre>code {
+ font-size: .9rem !important;
+ }
+ }
+
+ @media (max-width:600px) {
+ .markdown-section pre>code {
+ padding-top: 5px;
+ padding-bottom: 5px;
+ }
+
+ pre:after {
+ content: "" !important;
+ }
+ }
+
+
/*.anchor span {
color: rgb(66, 185, 131);
}*/
@@ -371,7 +388,6 @@
-