style version selector

jchavarri · jchavarri · commit b2d5138f4e86 · 2023-06-01T12:54:29.000+02:00
diff --git a/docs/css/extra.css b/docs/css/extra.css
@@ -147,3 +147,9 @@ blockquote {
 .syntax__reasonml .text-ocaml {
   display: none;
 }
+
+#version-selector {
+  border-radius: 6px;
+  color: #404040;
+  font-family: Lato,proxima-nova,Helvetica Neue,Arial,sans-serif;;
+}
