8 body.with-js #old_version_warning {
15 background-color: #fff;
16 border: 1px solid #000;
21 #old_version_warning span.closebar {
28 #old_version_warning span.closebar a {
29 text-decoration: none;
32 body.no-js #old_version_warning span.closebar {
36 .previous_page, .next_page, .toc_page {
69 background-color: #eaeaea;
70 border: thin solid white;
74 td .docbook_option, td .docbook_emphasis {
78 /* Index section styling */
82 border-bottom: medium solid #000;
111 /* Side Table of Contents */
124 background-color: #304b66;
130 #outer > #toc img:hover {
132 background-color: #000;
138 background-color: #fff;
143 border-top: 1px solid #bbb;
144 border-bottom: 1px solid #bbb;
150 text-decoration: none;
153 #outer > #toc a:hover {
157 @media all and ( max-width: 640px ){
163 /* Changebars -- experimental */
165 border-right: 5px solid #000;