MediaWiki:Common.css

/* 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-size: 16px !important;
  font-family: monospace !important;
}

.CodeMirror {
  font-size: 16px !important;
  font-family: monospace !important;
}