/* WebWorks
 */
pre
{
  background-color: #FFF8DC;
  border-color: #849DBD;
}

h1, h2, h3, h4, th
{
  color: #475D72;
}

.table-of-contents, .rcdaybreak td
{
  background-color: #ECD5AC;
  border-color: #849DBD;
}

table, td, .recentchanges td
{
  border-color: #EDD3A0;
}