1 /* Main body of pages. */
5 font-family: "Open Sans", Helvetica, Arial, sans-serif;
6 color: rgb(03, 03, 03);
9 /* Styling for editorial stylesheet */
16 /* Top banner of every page. */
18 background-color: #FFFFFF;
23 border-bottom: 1px solid #A6A6A6;
27 background-color: #20267D;
30 /* Padding around image in top banner. */
35 @media (max-width: 700px) {
41 /* Footer of every page. */
44 background: url("/img/main_shadow.png") repeat-x scroll center top #FFFFFF;
45 padding: 4px 10px 7px 10px;
46 border-top: 1px solid #A6A6A6;
51 h1, h2, h3, h4, h5, h6 {
59 h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
63 /* Objectives and key points */
64 .objectives, .keypoints {
65 background-color: azure;
70 text-decoration: underline;
72 background-color: lightgray;
75 /* Things to understand (lead-in to sections in book). */
77 background-color: lightyellow;
80 /* Block quotations. */
83 padding: 1em 1em .5em 1em;
87 /* Tables used for displaying choices in challenges. */
92 /* Database tables do _not_ have double borders */
94 border-collapse: collapse;
120 p,ul,ol,li,pre,code {
144 /*----------------------------------------*/
145 /* Override Bootstrap CSS */
146 /*----------------------------------------*/
150 font-weight: inherit;
151 line-height: inherit;
153 /* readability: darken the alert colour for contrast with background */
158 /* Container for page contents. */
161 background-color: white;
167 background-color: inherit;
173 background-color: #F4F4F4;
174 background-image: none;
175 border: 1px solid #d4d4d4;
176 -webkit-border-radius: 0;
177 -moz-border-radius: 0;
183 .navbar-inverse .navbar-inner {
184 background-color: #20267D;
185 background-image: none;
186 border-color: #20267D;
188 .navbar-inverse .nav .active > a,
189 .navbar-inverse .nav .active > a:hover, .navbar-inverse .nav .active > a:focus {
191 background-color: #20267D;
193 .navbar-inverse .nav li.dropdown.open > .dropdown-toggle,
194 .navbar-inverse .nav li.dropdown.active > .dropdown-toggle,
195 .navbar-inverse .nav li.dropdown.open.active > .dropdown-toggle {
197 background-color: #20267D;
199 .navbar-inverse .nav li.dropdown.active > .dropdown-toggle .caret {
200 border-top-color: #999999;
201 border-bottom-color: #999999;
203 .navbar-inverse .nav li.dropdown.open > .dropdown-toggle .caret {
204 border-top-color: #ffffff;
205 border-bottom-color: #ffffff;
212 text-decoration: none;
213 font-family: arial, sans-serif;
226 #github-ribbon a:hover {
230 #github-ribbon a::before, #github-ribbon a::after {
240 #github-ribbon a::after {
245 /* GitHub ribbon breaking point */
246 @media screen and (min-width: 600px) {
247 .navbar .btn-navbar {
265 transform: rotate(45deg);
266 -webkit-transform: rotate(45deg);
267 box-shadow: 1px 1px 10px rgba(0, 0, 0, 0.8);
270 @media (max-width: 599px) {