/* Boogie source colouring for @bpl listings.
   Scribble's .RktKw is black by design, so keywords would look unhighlighted
   if we reused racketkeywordfont. These classes are used instead. */

.BplKw {
  color: #0000c0;
  font-weight: bold;
  font-family: monospace;
}

.BplType {
  color: #267f99;
  font-family: monospace;
}

.BplConst,
.BplNum {
  color: #098658;
  font-family: monospace;
}

.BplStr {
  color: #a31515;
  font-family: monospace;
}

.BplAttr {
  color: #795e26;
  font-family: monospace;
}

.BplCmt {
  color: #008000;
  font-style: italic;
  font-family: monospace;
}

.BplFun {
  color: #795e26;
  font-family: monospace;
}

.BplTrig {
  color: #795e26;
  font-style: italic;
  font-family: monospace;
}

.BplNeg {
  color: #c00000;
  font-weight: bold;
  font-family: monospace;
}