/* old stuff */

table.autoscale {
   border:0;
   max-width:90%;
}

td.w25 { max-width:25%; }
td.w50 { max-width:50%; }
td.w75 { max-width:75%; }

table.autoscale * img {
   width:100%;
}

kbd {
  border-width:1pt;
  border-style:solid;
  background-color:#EEEEEE;
}

code {
  border-width:1pt;
  border-style:solid;
  background-color:#EEEEEE;
}

/* new stuff */
span.cmd {
  font-family:monospace;
  border-width:1pt;
  border-style:solid;
  background-color:#EEEEEE;
}

span.value:before { content:"\201C"; }
span.value:after { content:"\201D"; }
/*
span.value {
  font-family:monospace;
}
*/

.additional {
  background-color:#CCCCFF;
}

.important {
  background-color:#FFAAAA;
}

.code {
  font-family:monospace;
  padding:0.2cm;
  margin-left:1cm;
  margin-right:1cm;
  white-space:pre;
  border-width:1pt;
  border-style:solid;
  background-color:#EEEEEE;
}