pre.example {
      color: #000080;
      font-size:80%;
      font-family: Courier New, Courier;
      background-color: #EEEEEE;
      border: 1px solid silver;
      padding: 3px;
      overflow: auto;
}
pre.output {
      color: #000000;
      font-size:80%;
      font-family: Courier New, Courier;
      background-color: #EEEEEE;
      border: 1px solid silver;
      padding: 3px;
      overflow: auto;
}
p.output {
      color: #000000;
      font-size:80%;
      font-family: Arial, Helvetica;
      background-color: #EEEEEE;
      border: 1px solid silver;
      padding: 3px;
      overflow: auto;
}