}
.html-editarea textarea {
- position: absolute;
+/* position: absolute; -- might be unnecessary, and we need attributes to be pushed down*/
top: 0;
margin: 0px;
padding: 0px;
/* background-color: ivory;*/
}
+.html-editarea .html-editarea-attributes span {
+ border: 1px dotted black;
+ padding: 2px;
+ margin: 2px;
+}
+
+.html-editarea .html-editarea-attributes span label {
+ background-color: white;
+ padding: 5px;
+ min-width: 150px;
+ display: inline-block;
+ font-family: mono;
+}
+
.htmlview .out-of-flow-text {
display: block;
font-face: monospace;