+
+.htmlview .annotations-block .annotation-backref:before {
+ content: "[" counter(secondary) "]";
+ counter-increment: secondary;
+}
+
+/*
+ * EDITABLE ELEMENTS
+ */
+
+.htmlview *[x-editable] {
+ position: relative;
+ padding: 2px;
+ margin-left: 0;
+ border: 1px solid #FFF;
+}
+
+/* focused editable element */
+.htmlview *[x-editable]:hover
+{
+ z-index: 900;
+}
+
+.htmlview *[x-editable][x-open]
+{
+ visibility: hidden;
+}
+
+.edit-button, .delete-button, .accept-button {
+ position: absolute;
+ top: -21px;
+ left: -1px;
+ width: 72px;
+ height: 21px;
+
+ display: block;
+/* margin: 4px 0 2px 0;*/
+ padding: 5px 5px 2px 5px;
+ border: none;
+ background-color: #FAFAFA;
+
+/* z-index: 3000;*/
+/* color: #FFF;
+ z-index: 1500;
+*/ border: 1px solid #DDD;
+ border-bottom: none;
+}
+
+.delete-button {
+ left: 70px;
+}
+
+.edit-button:hover, .edit-button:active, .delete-button:hover, .delete-button:active, .accept-button:hover, .accept-button:active {
+/* color: #FFF;*/
+ background-color: #999;
+ color: #FFF;
+}
+
+/*
+ * 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;
+ position: absolute;
+}
+
+.html-editarea textarea
+{
+ position: absolute;
+ top: 0;
+
+ margin: 0px;
+ padding: 0px;
+
+ width: 100%;
+ height: 100%;
+
+ z-index: 0;
+ font-size: 10pt;
+/* background-color: ivory;*/
+}
+
+.out-of-flow-text {
+ border: 1px solid #BEBEBE;
+ background-color: #E2E2E1;
+ white-space: pre-line;
+ overflow: auto;
+ padding: 0.25em;
+ margin: 0 -0.25em;
+ font-family: monospace;
+ font-size: 10pt;
+}
\ No newline at end of file