tweaks for the UI of the MDN Editor (https://wiki.developer.mozilla.org/*$edit)
/* ==UserStyle==
@name MDN Editor (UI Tweaks)
@namespace almaceleste
@version 0.3.1
@description tweaks for the UI of the MDN Editor (https://wiki.developer.mozilla.org/*$edit)
@author almaceleste (https://almaceleste.github.io)
@license AGPL-3.0-or-later; http://www.gnu.org/licenses/agpl.txt
@homepageURL https://greasyfork.org/en/scripts/402637-mdn-editor-ui-tweaks
@homepageURL https://openusercss.org/theme/5eb0aec07e7df90c001f8a9b
@homepageURL https://userstyles.org/styles/181086
@homepageURL https://github.com/almaceleste/userstyles
@supportURL https://github.com/almaceleste/userstyles/issues
@preprocessor uso
@var text source-background-color 'source background color' '#222'
@var text source-font-color 'source font color' '#ddd'
@var text source-font-family 'source font family' "'Courier New', Monospace"
@var select source-font-size 'source font size' [
'smaller*',
'xx-small',
'x-small',
'small',
'medium',
'large',
'x-large',
'xx-large',
'xxx-large',
'larger',
]
==/UserStyle== */
@-moz-document regexp('https://wiki\\.developer\\.mozilla\\.org/.*\\$edit(#.*)?') {
#content-fields > .approved > header {
padding: 10px;
position: sticky;
top: -55px;
z-index: 999;
}
#content-fields > .approved > header > h3 {
display: inline-block;
font-size: 1rem;
margin: 0;
position: sticky;
top: 10px;
}
#content-fields > .approved > header button {
font-size: .77rem;
margin-top: 15px;
}
#page-comment {
bottom: 0px;
padding: 10px;
position: fixed;
width: 98%;
z-index: 999;
}
#page-comment > h3 {
display: inline-block;
font-size: medium;
margin: 0;
}
#page-comment > h3 .icon-question-mark {
height: 17px;
width: 17px;
}
#page-comment > p {
display: inline-block;
font-size: small;
margin: 0;
width: 70%;
}
input#id_comment {
padding: 3px;
}
.translate-source textarea,
textarea.cke_source {
background-color: /*[[source-background-color]]*/ !important;
color: /*[[source-font-color]]*/ !important;
font-family: /*[[source-font-family]]*/ !important;
font-size: /*[[source-font-size]]*/ !important;
}
}