1body {
  2  font-family: Arial,Helvetica,sans-serif;
  3  font-size: .9em;
  4}
  5
  6.count {
  7  color: lightgrey;
  8}
  9
 10.failure {
 11  color: red;
 12  font-weight: bold;
 13  display: inline;
 14}
 15
 16.notimplemented {
 17  color: orange;
 18  font-weight: bold;
 19  display: inline;
 20}
 21
 22p.exception_type {
 23  color: black;
 24  font-weight: bold;
 25  display: inline;
 26}
 27
 28pre.exception_message {
 29  border-style: dashed;
 30  border-color: #FF828D;
 31  border-width: thin;
 32  background-color: #FFD2CF;
 33  white-space: pre-wrap; /* CSS2.1 compliant */
 34  white-space: -moz-pre-wrap; /* Mozilla-based browsers */
 35  white-space: o-pre-wrap; /* Opera 7+ */
 36  padding: 1em;
 37}
 38
 39hr {
 40  color: lightgrey;
 41  border: 1px solid lightgrey;
 42  height: 1px;
 43}
 44
 45ul.prev-next {
 46  padding: 0;
 47  margin: 0;
 48  font-size: 2em;
 49  }
 50  
 51.spec ul.prev-next {
 52  float: right;
 53  right: 30%;
 54  position: absolute;
 55  margin-top: -1em;
 56  }
 57
 58ul.prev-next li {
 59  display: inline;
 60  padding: 0;
 61  margin: 0;
 62}
 63
 64ul.prev-next li a {
 65  color: lightgrey;
 66  text-decoration: none;
 67  font-weight: bold;
 68  padding: 0 .3em;
 69  border: 1px solid lightgrey;
 70}
 71
 72ul.prev-next li.notimplemented a {
 73  border-color: orange;
 74}
 75
 76ul.prev-next li.failure a {
 77  border-color: red;
 78}
 79
 80ul.prev-next li.notimplemented a:hover {
 81  background-color: orange;
 82  color: #000;
 83}
 84
 85ul.prev-next li.failure a:hover {
 86  background-color: red;
 87  color: #fff;
 88}
 89
 90ul.prev-next li.back a:hover {
 91  background-color: #444;
 92  color: #fff;
 93}
 94
 95div.supplement {
 96  display: none;
 97}
 98  
 99@media print {
100  ul.prev-next {
101    display: none;
102  }
103}