Added rewrite capabilities and separated menu
diff --git a/public/css/vc.css b/public/css/vc.css
index 8c8326f..377f19a 100644
--- a/public/css/vc.css
+++ b/public/css/vc.css
@@ -30,6 +30,25 @@
padding: .6em .5em;
}
+.vc .rewritten .rewrite {
+ color: red;
+ font-weight: bold;
+ background-color: yellow;
+ width: 1.5em;
+ height: 1.2em;
+ margin-left: 2px;
+ border-radius: 8pt;
+ display: inline-block;
+}
+
+.vc .rewritten .rewrite span {
+ display: none;
+}
+
+.vc .rewritten .rewrite:hover span {
+ display: block;
+}
+
.vc .docGroup .docGroup {
display: block;
}
@@ -232,7 +251,7 @@
}
.vc .docGroup:hover {
- background-color: rgba(255,255,255,0.2);
+ background-color: rgba(255,255,255,0.05);
}
.vc .docGroup:hover > .operators,