span.code
{
  font-size:   67%;
  font-family: mono;
/*  font-weight: bold;  */
/*  border:      1px dashed; */
  padding:     2px;
  background:  #EEEEFF;
/*  -moz-border-radius:3px; */
}

span.code:hover
{
  font-size:   80%;
  font-family: mono;
  font-weight: bold;
/*  border:      1px dashed; */
  padding:     4px;
  background:  #DDDDF0F0;
/*  -moz-border-radius:3px; */
}

pre.code
{ 
  font-size:   67%;
  font-family: mono,courier;
  border:      1px dashed;
  padding:     2px;
  background:  #EEEEFF;
}