body {
  font: 18px 'Lucida Grande', Helvetica, Arial, sans-serif;
  tab-size: 4;
  -moz-tab-size: 4;
}

a:hover {
  text-decoration: none;
}

.mono16 {
  display: inline-block;
  width: 16em;
}
.mono32 {
  display: inline-block;
  width: 32em;
}

.bg-firstblood {
  background-color: DarkGreen;
  color: #eee;
  text-align: center;
}

.bg-accepted {
  background-color: #dff0d8;
  text-align: center;
}

.bg-rejected {
  background-color: #f2dede;
  text-align: center;
}

.bg-unknown {
  background-color: #fcf8e3;
  text-align: center;
}

p.mkcent {
  text-align: center;
}
th.mkcent {
  text-align: center;
}

.panel-heading p {
  margin-top: 5px;
  margin-bottom: 5px;
}

.label {
  line-height: 1.9;
  padding: 0.3em 0.6em 0.3em;
}

#editor-wrapper {
  height: 400px;
  margin: 15px -15px -15px -15px;
  border-top: rgba(0, 0, 0, 0.12) 1px solid;
  position: relative;
}
#editor {
  width: 100%;
  height: 100%;
  font-size: 14px;
}

#editor-drop-indicator {
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  z-index: 100;

  background: rgba(0, 0, 0, 0.12);
  color: rgba(0, 0, 0, 0.54);
  text-align: center;
  line-height: 360px;
  font-size: 24px;
  -webkit-backdrop-filter: blur(2px);
  -moz-backdrop-filter: blur(2px);
  -o-backdrop-filter: blur(2px);
  backdrop-filter: blur(2px);
}

#problemtext {
  color: #404040;
}

#problemtext h2 {
  font-size: 180%;
  font-weight: bold;
  color: #202020;
  margin-top: 1em;
  margin-bottom: 0.5em;
}

#problemtext h3 {
  font-size: 140%;
  color: #202020;
  font-weight: bold;
}

/* #problemtext p {
  text-indent: 2em;
} */

table tr td,
table tr th {
  vertical-align: inherit !important;
}

span.label {
  margin-right: 5px;
}

div.panel-heading.flex {
  display: flex;
  justify-content: space-between;
  align-items: center;
}

p img {
  max-width: 100%;
}

th {
  text-align: center !important;
}

textarea {
  font-family: monospace;
}

textarea.fixed-width {
  min-width: 100%;
  max-width: 100%;
  margin-bottom: 10px;
}

.choice-box {
  width: 100%;
  border: 1px solid #ccc;
  border-radius: 4px;
  padding: 10px 10px 0 30px !important;
  margin: 10px 0 0 !important;
}

.flex-radio {
  display: flex;
  align-items: center;
  justify-content: space-between;
  margin-bottom: 5px;
  margin-top: 0;
  font-size: 0.8em;
}

pre {
  font-size: inherit !important;
}

code {
  font-size: inherit !important;
  color: inherit !important;
}

div.paging_numbers {
  padding: 10px;
}

.wm-scope {
  position: relative;
}

.wm-mask {
  position: absolute;
  inset: 0;
  pointer-events: none;
  overflow: hidden;
  z-index: 20;
  background-repeat: repeat;
  background-position: 0 0;
}

.no-select {
  user-select: none;
  -webkit-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
}

.choice-submit-confirm-mask {
  position: fixed;
  inset: 0;
  z-index: 3000;
  display: flex;
  align-items: center;
  justify-content: center;
  padding: 15px;
  background: rgba(0, 0, 0, 0.45);
}

.choice-submit-confirm {
  width: 100%;
  max-width: 420px;
  margin: 0;
}

.choice-proctoring-notice {
  position: fixed;
  top: 16px;
  left: 50%;
  z-index: 3200;
  width: calc(100% - 30px);
  max-width: 520px;
  transform: translateX(-50%);
  padding: 12px 16px;
  border: 1px solid #8a6d3b;
  border-radius: 4px;
  background: #fcf8e3;
  color: #66512c;
  text-align: center;
  box-shadow: 0 4px 16px rgba(0, 0, 0, 0.18);
}