picnic - fix broken nav bar

scripts/minify.rb

@@ -19,9 +19,12 @@ end
 def strip_css(css)
   sourcemap = "# sourceMappingURL"
   select_none = "select \{\n  display: none;\n\}"
+  nav_broken = /nav \{\n  position: fixed;\n  top: 0;\n  left: 0;\n  right: 0;\n  height: 3em;\n/
+  nav_fixed = "nav {\n  top: 0;\n  left: 0;\n  right: 0;\n"
   css
     .gsub(/\n*\/\*#{sourcemap}.*\n*/, "")
     .gsub(/#{select_none}\n\n/, "")
+    .gsub(nav_broken, nav_fixed)
 end
 
 def update_css(name, url)

src/picnic.css

@@ -2192,11 +2192,9 @@ tr:nth-child(even) {
     margin-left: 16.66666%; } }
 
 nav {
-  position: fixed;
   top: 0;
   left: 0;
   right: 0;
-  height: 3em;
   padding: 0 0.6em;
   background: #fff;
   box-shadow: 0 0 0.2em rgba(17, 17, 17, 0.2);