padding-left: 55px;
}
-.htmlview *[x-node='rdf:RDF'] {
+.htmlview *[x-node='RDF'] {
display: none;
}
width: 10em;
font-weight: normal;
- font-size: 10pt;
+ font-size: 13px;
+ line-height: 18px;
font-variant: normal;
text-decoration: none;
border-left: 4px solid #DDD;
padding: 0.2em 0.2em 0.2em 0.5em;
margin-top: 0.2em;
-
}
/*
visibility: hidden;
}
-.edit-button {
+.edit-button, .delete-button, .accept-button {
position: absolute;
top: -21px;
left: -1px;
- width: 50px;
+ width: 72px;
height: 21px;
display: block;
border-bottom: none;
}
+.delete-button {
+ left: 70px;
+}
-.edit-button:hover, .edit-button:active {
+.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;
.html-editarea textarea
{
-/* border: 2px solid black;*/
+ position: absolute;
+ top: 0;
margin: 0px;
padding: 0px;
/* 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;
+.out-of-flow-text {
+ border: 1px solid #BEBEBE;
+ background-color: #E2E2E1;
+ white-space: pre-line;
+ font-family: monospace;
}
-#theme-edit-dialog .theme-multi-list .unknown-themes {
- display: none;
+.out-of-flow-text[x-editable] {
+ background-color: #E2E2E1;
}
-#theme-edit-dialog .theme-multi-list .letter-heading {
- font-size: 150%;
- text-align: left;
- border-bottom: 1px solid black;
- padding-top: 1em;
+.unknown-tag {
+ background-color: yellow;
+ margin: -0.25em;
+ padding: 0.25em;
+ border: 1px solid orange;
}
-
-#theme-edit-dialog .theme-mutli-list input:checked + label {
- font-weight: bold;
-}*/
-
-.out-of-flow-text {
- border: 1px solid #C8B849;
- background-color: #D4CB9C;
- white-space: pre;
- overflow: auto;
- margin: 1.5em 0 0;
- font-family: monospace;
- font-size: 10pt;
-}
\ No newline at end of file