/* CSS Document */

body {
  background-color: #CCCCCC;
}

.style3 {font-family: "Trebuchet MS"; font-size: 10px; }
.style4 {font-size: 12px}
.style5 {font-family: "Trebuchet MS"; font-weight: bold; }

.warning {
    font-weight: bold;
    color: #f00;
}