- border: 1px solid rgb(170, 170, 170);
- background-color: rgb(204, 204, 204);
- cursor: pointer;
- margin-right: 1px;
- margin-bottom: 1px;
-}
-
-#HeaderArea a
-#HeaderArea a:link,
-#HeaderArea a:visited,
-#HeaderArea a:active {
- color : &dtml-specialLinkColor;;
-}
-
-#HeaderArea a:hover {
- color : &dtml-specialLinkHoverColor;;
+ border: 1px solid rgb(170, 170, 170);
+ background-color: rgb(204, 204, 204);
+ cursor: pointer;
+ margin-right: 1px;
+ margin-bottom: 1px;