7 border: 1px solid
#999;
32 background: url
("/logo/logo_small.png") no-repeat scroll left top
;
52 border: 2px solid
#527bbd;
74 border-right: 2px solid
#527bbd;
78 .menu ol li p a:visited {
81 text-decoration: none
;
86 .menu ol li p
a:hover
,
87 .menu ol li p
a:active
,
88 .menu ol li p a.active {
96 border: 2px solid
#527bbd;
103 margin: 1px 1px 1px 1px;
106 .docs_menu ol:after {
117 .docs_menu ol li p
a:link
,
118 .docs_menu ol li p a:visited {
121 text-decoration: none
;
124 border-radius: 3px 3px 3px 3px;
127 .docs_menu ol li p
a:hover
,
128 .docs_menu ol li p
a:active
,
129 .docs_menu ol li p a.active {
130 background-color: #527bbd;