a {text-decoration:none}
div.res {border-style:inset;border-width:1px;
         height:200px;
         padding:5px;
         overflow:auto}
body { background-color: #edebe3; }
h1,h2,h3,a,p,li,dt,dd,td,th,caption,div {font-family: arial, sans-serif }
h1,h2 {margin-top:0px}
.qu+h2 {margin-top:2ex;;}
td {vertical-align:top}
td.silver {border: thick; background-color: silver; font-family: "courier new",courier,fixed}
caption {background-color:gray;font-weight:bold;}
h1 code {font-family:"courier new",courier,monospace}
h2 code {font-family:"courier new",courier,monospace}
code { font-family: fixedsys, "courier new", courier,fixed;}
.hint {background-color:silver;border-style:solid;
    border-width:thin;padding:.2em}
table.qu {width:100%;border-style:solid;
          margin: 2ex .2ex .2ex .2ex;
          border-color:silver;
          border-width:1px;
          background-color:#FFF3b3;}
pre { font-family: fixedsys, "courier new", courier,fixed;
      border-style:solid;border-width:thin;padding:1em; }
.little {font-size: x-small; }
.schema {background-color:rgb(192,192,255);padding:1ex;}
.key {background-color:rgb(192,192,255);}
span.clickable {color:blue;cursor:pointer;}
div#menulinks div:hover {background-color:gray}
div#menulinks div.uh {margin-top:0.4ex;border-top-style:solid;
     border-width:medium;border-color:black}
div#menulinks div {margin-top:0.4ex;border-top:solid thin gray;}
 a.b {color:black}
span.id{
  font-size:300%;
  display:block;
  float:left;
  padding:0px 5px;
  margin-right:5px;
}
div.qu{
  padding:10px;
}
.imper{font-size:120%;
margin:1ex;
margin-left: 5ex;
font-style:italic;
}
div.quf, div.schema, pre{
  clear:left;
}
table, table.zoo{
  border-collapse:collapse;
}
table.zoo th{
  color:white;
  background-color:black;
}