@font-face {
  font-family: 'STIX';
  font-style: normal;
  font-weight: normal;
  src: url('../fonts/STIXGeneral-Regular.otf') format('opentype');
}
tt {
  font-family:'STIX';
  font-size:14px;
}
body, table {
  font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;
  font-size:14px;
  background-color:#f5f5f5;
}
p, ol, ul {
  width:720px;
}
textarea, div.CodeMirror {
  font-family:monospace;
  font-size:12px;
  border-style:solid;
  border-width:1px;
  border-color:#bebebe;
  background-color:#ffffff;
}
textarea:hover, div.CodeMirror:hover {
  border-color:cornflowerblue;
}
ul li {
  list-style-type:none;
  text-indent:-10px;
}
ul li:before {
  content:'• ';
}
a:focus {
  outline: thin dotted;
}

a:active, a:hover {
  outline: 0;
}
a {
  color: #428bca;
  text-decoration: none;
}
a:hover, a:focus {
  color: #2a6496;
  text-decoration: underline;
}
a:focus {
  outline: thin dotted #333;
  outline: 5px auto -webkit-focus-ring-color;
  outline-offset: -2px;
}