.worcester             { color: #D06000 }
.worcester A:link, .worcester A.local:visited      { color: #F078C0 }
.worcester A:visited   { color: #985058 }
.worcester A:active    { color: #FF80FF }
.worcester H1          { color: #FF0030 }
.worcester H2          { color: #90C050 }
.worcester H3          { color: #90C050 }
.worcester HR          { color: #103080 }
.worcester .comment    { color: #A860C0 }
.worcester P.updated, .worcester P.updated A, .worcester P.updated A:visited   { color: #9492ED }
.worcester .toolbar .local, .worcester .toolbar .local A, .worcester .toolbar .local A:visited   { color: #00A060 } 
.worcester IMG.left, .worcester IMG.right, .worcester OBJECT.left, .worcester OBJECT.right, .worcester EMBED.left, .worcester EMBED.right { border-color: #F0C000; color: #F0C000 }