.source-editor:focus {
margin-top: 0px;
margin-bottom: 5px;
- -moz-margin-start: 0px;
- -moz-margin-end: 5px;
+ margin-inline-start: 0px;
+ margin-inline-end: 5px;
border: 0px;
/* Scroll bars are in content,
so we can't use right and bottom padding! */
padding-top: 5px;
padding-bottom: 0px;
- -moz-padding-start: 5px;
- -moz-padding-end: 0px;
+ padding-inline-start: 5px;
+ padding-inline-end: 0px;
}
/* Multiline textarea for HTML source editing */
#content-source,
#doctype-text {
font-family: -moz-fixed;
- font-size: -moz-initial;
+ font-size: initial;
}
#appcontent {