body {
  margin: 10 10 10 10;
  font-family: sans-serif;
  color: black;
  background: #EFEFEF;
}

input, textarea {
//  border-style: solid;
  border-color: black;
  border-width: 1px;
  padding: 2px;
}

.button {
//  background-color:#E0E0E0;
  font-weight: bold;
  padding-top:0px;
  padding-bootom:0px;
}

table{
    font-size: smaller;
}

table.result {
    border-collapse: collapse;
    border: 1px solid #555555;
}
table.result td, table.result th {
    border: 1px solid #555555;
    padding: 2px; i
}
table.result th{
    background: #EEEEEE;
}

tbody {
//    overflow: scroll; 
}

.error {
  color:red;
}

.trace {
  font-size:7pt;
  color:gray;
}

.box {
  padding: 0px 20px 10px 20px;
  border:1px solid #888;
  background-color: #FFFFFF;

  background-position: top right;
  background-repeat: no-repeat;
  BACKGROUND-IMAGE: url(wsml.png)
}

a:link { color: #486B10; }
a:visited { color: #486B10; }
a:active { color: #486B10; }

h1, h2, h3, h4, h5, h6 { text-align: left; }
h1, h2, h3 { color: #486B10; }
h1 { font: bold 170% sans-serif }
h2 { font: bold 140% sans-serif }
h3 { font: bold 120% sans-serif }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }
h6 { font: small-caps 100% sans-serif }