@charset "UTF-8";

body{
  margin:1em auto;
  max-width:40em;
  line-height:1.6;
  font-size:1.1em;
  /** font-family:sans-serif; **/
  background-color:#fffffc;
}
pre{
  padding:4px;
  border-style:solid;
  border-width:thin;
  /** background-color:#ededed; **/
}
a:link {
  color:midnightblue;
}
a:visited {
  color:midnightblue;
}
a:hover {
  color:blue;
}