body{
  font-family: "DejaVu Sans Mono", "Menlo", "Consolas", monospace;
  font-size: 12pt;
  margin-left: 10%;
  margin-right: 10%;
  line-height: 1.5;
  margin-top: 4em;
  margin-bottom: 6em;
}
@media(max-width: 62em){
  body{margin-left: 6%; margin-right: 6%;}
}
@media(max-width: 52em){
  body{margin-left: 3%; margin-right: 3%;}
}
pre{font-size: 12pt;}
a{color: #00304a; text-decoration: none;}
a:hover{color: #d00090; text-decoration: underline;}
p a{text-decoration: underline;}
div.box{
  border-top: 2px solid #cacac2;
  border-bottom: 2px solid #cacac2;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}
div.def, div.thm, div.ax, div.rule{
  padding-left: 12px;
  padding-right: 12px;
  padding-top: 4px;
  padding-bottom: 4px;
  background-color: #fafaf0;
}
div.def {border-left: 6px solid #006000;}
div.thm {border-left: 6px solid #000080;}
div.ax  {border-left: 6px solid #d0a000;}
div.rule{border-left: 6px solid #900060;}
b.def {color: #006000;}
b.thm {color: #000080;}
b.ax  {color: #d0a000;}
b.rule{color: #900060;}