display: none;
}
+nav input {
+ border-radius: 3px;
+ padding: 3px;
+ margin: 0px;
+}
+
.page nav {
width: calc(100vw - 200px);
max-width: 800px;
filter: invert(80%);
}
+ nav input {
+ font-size: smaller;
+ }
+
#left {
border: none;
border-left: 1px dashed #666;