BODY{
   font-size: 16px;
   font-family: serif;
}

#box{
  position: absolute;
  top: 0;
  right: 0;
  bottom: 0;
  left: 0;
  width: 560px;
  height: 400px;
  margin: auto;
  padding-top: 3px;
  padding-bottom: 3px;
  padding-left: 10px;
}

#box H1{
   margin-top:0;
   font-size: 130%;
}

#box .bulletlist{
   font-size: 15px;
   padding-top: 6px;
   padding-left: 18px;
   padding-bottom: 2px;
   list-style-position: outside;
}

#box .bulletlist LI{
   margin-bottom: 3px;
}

.prompt{
   width: 85%;
   margin: auto;
   padding: 2px;
}

.boxfooter{
   position: absolute;
   bottom:10px;   
   border-top: 1px dotted #47b;
   width: 550px;
}

.langselect{
   text-align: right;
   padding-top: 3px;
   font-size: 80%;
}

#copyright
{
   position: absolute;
   right: 10px;
   bottom: 10px;

   font-size: 80%;
   color: #999;
}

.toolname{
   font-style: italic;
}

A{
   text-decoration: none;
}