/* styles for WeBWorK problems */
input[type=text] {background-color: #FAFAFA;}

.tt {
  font-family: monospace;
  font-weight: bold;
}
.tinoun {
  font-family: sans-serif;
}
.boxedkey {
  font-family: monospace;
  font-weight: bold;
  letter-spacing:-2px;
  padding-left:2px;
  padding-right:5px;
  border:1px solid black;
}