Added proxy support
diff --git a/public/css/menu.css b/public/css/menu.css
index 5f2bb5c..5b4a5d3 100644
--- a/public/css/menu.css
+++ b/public/css/menu.css
@@ -2,10 +2,13 @@
ul.menu {
position: absolute;
+ background-color: #7ba400;
+ font-weight: normal;
border: 2px solid white;
list-style-type: none;
list-style-position: outside;
padding-left: 0;
+ z-index: 16;
}
ul.menu > li {
@@ -51,6 +54,7 @@
bottom: 0;
border-top-width: 0;
padding: .1em .3em;
- margin-bottom: -1.6em;
+ margin-bottom: -1.7em;
margin-right: -2px;
+ background-color: #7ba400;
}
\ No newline at end of file
diff --git a/public/css/vc.css b/public/css/vc.css
index fe82f89..f4b6fc5 100644
--- a/public/css/vc.css
+++ b/public/css/vc.css
@@ -225,6 +225,15 @@
font-weight: bold;
}
+.vc .doc > span.key {
+ position: relative;
+}
+
+.vc .doc > span.key > ul {
+ margin: 0;
+ margin-left: 3.3em;
+}
+
.vc .operators {
color: #7ba400;
border-color: white;