/* distinguish tech docs by different colours */
body {
  background-color: rgb(245,245,245);
}
#header {
background-color: rgb(230,230,230);
}
#navlist li a {
  color: black;
  background-color: rgb(230,230,230);
}
#navlist li a:hover {
  color: white;
  background-color: rgb(200,200,200);
}
table.stage td {
border: 1px  solid black;
padding-left:  10px;
padding-right: 10px;
}
table.lighting {
}
table.lighting td {
border: 1px  solid black;
padding-left:  5px;
padding-right: 5px;
}