+
+.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 {
+ font-weight: bold;
+}
\ No newline at end of file