/* lr page settings */

strong {
  color: #88FFFF;
}

.lrproblem-content-block {
  border-top: 2px ridge #999999;
  border-bottom: 2px ridge #999999;
}

.lrproblem-title-block {
  margin-top: 1em;
  font-weight: bold;
  color: #FFFFCC;
}

.lrproblem-fix-block {
  font-family: monospace;
  white-space: nowrap;
  color: #EEFFEE;
}

.lrproblem-comment-block {
}

.lrproblem-cmdline-block {
  color: #CCFFCC;
}
