@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;
}