/************************************************************************
* CSS stylesheet file generated by cmtjava2html v2.3
* Copyright (c) 2006-2012 Testwell Oy
************************************************************************/

 a:hover {text-decoration: underline;}

 .source {margin-left: 6ex; color: black; background-color: #DFDFE5;}

 .source pre {font-family: "courier new", courier, monospace; color: black;
              font-size: 10pt; padding: 0.5em;}

 .red {color: red; text-decoration: none;}

 .black {color: black; text-decoration: none;}

 .summary {font-family: "courier new", courier, monospace; color: black;
           font-size: 10pt; background-color: white;}

 .instruction {font-family: verdana, arial, helvetica, sans-serif; color: black;
               font-size: 10pt; background-color: white;}

 .error {font-family: "courier new", courier, monospace; color: red;
         font-size: 15pt; font-weight: bold; background-color: white;}

 pre {font-family: "courier new", courier, monospace; color: black;
      font-size: 10pt;}