Revision as of 22:33, 17 October 2022 by Timothy J. Lanza (talk | contribs)
Note: After publishing, you may have to bypass your browser's cache to see the changes.
- Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
- Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
- Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
- Opera: Press Ctrl-F5.
/* CSS placed here will be applied to all skins */
/* Four-part reference for margin, padding, etc. is: top, right, bottom, left */
div.box {
border: 2px solid rgb(250, 250, 250);
border-radius: 5px;
padding: 5px 10px;
margin: 30px auto 5px auto;
color: rgb(250, 250, 250);
}
div.overbox {
position: relative;
top: -20px;
left: -20px;
padding: 5px 10px;
border: 2px solid rgb(250, 250, 250);
border-radius: 5px;
color: rgb(250, 250, 250);
margin-bottom: -15px;
}
div.red {
background-color: rgb(130, 100, 100);
}
div.green {
background-color: rgb(100, 130, 100);
}
div.blue {
background-color: rgb(100, 100, 130);
}
.mw-editfont-monospace,
.mw-editfont-sans-serif,
.mw-editfont-serif {
font: 15px Consolas !important;
}
.CodeMirror {
font: 15px Consolas !important;
}
#wpTextBox1 {
font: 15px Consolas !important;
}
#editform {
font: 15px Consolas !important;
}
