+.context-menu * {
+ margin: 0px;
+ display: block;
+
+ -moz-user-select: -moz-none;
+ -webkit-user-select: none;
+
+ padding: 2px;
+ cursor: pointer;
+ border-bottom: 1px solid black;
+
+}
+
+.context-menu *:last-child {
+ cursor: pointer;
+ border-bottom: none;
+}
+
+.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;
+}
+
+#theme-edit-dialog *.action-area {
+ position: absolute;
+ height: 30px;
+ line-height: 20px;
+
+ left: 5px;
+ right: 5px;
+ bottom: 0px;
+
+ padding: 0px;
+ margin: 0px;
+
+ border-top: 1px solid black;
+ background-color: #fafafa;
+}
+
+#theme-edit-dialog *.action-area * {
+ vertical-align: baseline;
+}
+
+#theme-edit-dialog .theme-multi-list {
+ padding: 0.5em 1em;
+}
+
+#theme-edit-dialog .theme-multi-list .unknown-themes {
+ display: none;
+}
+
+#theme-edit-dialog .theme-multi-list .letter-heading {
+ font-size: 150%;
+ text-align: left;
+ border-bottom: 1px solid black;
+ padding-top: 1em;
+}
+
+#theme-edit-dialog .theme-mutli-list input:checked + label {