+.context-menu *:hover {
+ background-color: orange;
+}
+
+/*
+ * VISIBILITY RULES
+ */
+.default-menu {
+ visibility: inherit;
+ opacity: 0.2;
+}
+
+.default-menu:hover {
+ opacity: 1;
+ z-index: 5000;
+}
+
+.htmlview *[x-annotation-box] > .default-menu {
+ opacity: 1;
+}
+
+.htmlview *[x-editable][x-open] > .default-menu {
+ visibility: hidden;
+}
+.htmlview *[x-editable][x-open] *[x-annotation-box] > .default-menu {
+ visibility: hidden;
+}
+
+.htmlview *[x-editable] > .edit-menu {
+ visibility: hidden;
+}
+.htmlview *[x-editable] *[x-annotation-box] > .edit-menu {
+ visibility: hidden;
+}
+
+.htmlview *[x-editable][x-open] > .edit-menu {
+ visibility: visible;
+}
+.htmlview *[x-editable][x-open] *[x-annotation-box] > .edit-menu {
+ visibility: visible;
+}
+
+.html-editarea {
+ border: 0px;
+ background-color: gray;
+ padding: 1px;
+
+ z-index: 2000;
+}
+
+.html-editarea textarea
+{
+ border: 2px solid black;
+
+ margin: 0px;
+ padding: 0px;
+
+ width: 100%;
+ height: 100%;
+
+ z-index: 0;
+ font-size: 10pt;
+ background-color: ivory;
+}
+
+/*/
+/*
+/* Theme edit dialog
+/*
+/*/
+#theme-edit-dialog {
+ left: 5%;
+ right: 5%;
+ top: 5%;
+ bottom: 5%;
+ padding: 0em;
+}
+
+#theme-edit-dialog *.data-area {
+ position: absolute;
+
+ top: 0px;
+ left: 0px;
+ right: 0px;
+ bottom: 32px;
+
+ padding: 0px;
+ background-color: #fafafa;
+
+ overflow-y: scroll;