css/swc.css

   1 /* Main body of pages. */
   2 body {
   3     background: #BEC3C6;
   4     margin: 20px 0;
   5     font-family: "Open Sans", Helvetica, Arial, sans-serif;
   6     color: rgb(03, 03, 03);
   7 }
   8
   9 /* Styling for editorial stylesheet */
  10 body.stylesheet {
  11     background: #ffffff;
  12     width: 60em;
  13     margin: 20 auto;
  14 }
  15
  16 /* Top banner of every page. */
  17 div.banner {
  18     background-color: #FFFFFF;
  19     width: 100%;
  20     height: 90px;
  21     margin: 0px;
  22     padding: 0;
  23     border-bottom: 1px solid #A6A6A6;
  24 }
  25
  26 .swc-blue-bg {
  27    background-color: #20267D;
  28 }
  29
  30 /* Padding around image in top banner. */
  31 div.banner a img {
  32     padding: 20px 25px;
  33 }
  34
  35 @media (max-width: 700px) {
  36     div.banner a img {
  37         padding: 20px 0px;
  38     }
  39 }
  40
  41 /* Footer of every page. */
  42 div.footer {
  43     clear: both;
  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;
  47     text-align: right;
  48 }
  49
  50 /* Headings */
  51 h1, h2, h3, h4, h5, h6  {
  52     color: rgb(03,03,03);
  53 }
  54
  55 h1.title {
  56     margin:40px 0px;
  57     border-bottom:1px solid #515151;
  58 }
  59
  60 h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
  61     color: inherit;
  62 }
  63
  64 /* Objectives and key points */
  65 .objectives, .keypoints {
  66     background-color: azure;
  67 }
  68
  69 /* Things to fix. */
  70 .fixme {
  71     text-decoration: underline;
  72     color: darkred;
  73     background-color: lightgray;
  74 }
  75
  76 /* Things to understand (lead-in to sections in book). */
  77 .understand {
  78     background-color: lightyellow;
  79 }
  80
  81 /* Block quotations. */
  82 blockquote {
  83     margin: 1em;
  84     padding: 1em 1em .5em 1em;
  85     width: 90%;
  86 }
  87
  88 /* Tables used for displaying choices in challenges. */
  89 table.choices tr td {
  90     vertical-align : top;
  91 }
  92
  93 /* Database tables do _not_ have double borders */
  94 table.outlined {
  95     border-collapse: collapse;
  96 }
  97
  98 /* Printing */
  99 @media print {
 100   h1 {
 101     font-size: 16pt;
 102     line-height: 18pt;
 103   }
 104
 105   h2,h3,h4,h5,h6 {
 106     font-size: 12pt;
 107     line-height: 13pt;
 108   }
 109
 110   p,ul,ol,li,pre,code {
 111     font-size: 8pt;
 112     line-height: 9pt;
 113   }
 114
 115   code {
 116     padding: 0px;
 117     border: 0px;
 118     background: none;
 119   }
 120
 121   #github-ribbon {
 122     display: none;
 123   }
 124
 125   .banner {
 126     display: none;
 127   }
 128
 129   .footer {
 130     display: none;
 131   }
 132 }
 133
 134 /*----------------------------------------*/
 135 /* Override Bootstrap CSS                 */
 136 /*----------------------------------------*/
 137
 138 blockquote p {
 139     font-size: inherit;
 140     font-weight: inherit;
 141     line-height: inherit;
 142 }
 143 /* readability: darken the alert colour for contrast with background */
 144
 145 .alert {
 146     color: rgb(0, 0, 0);
 147 }
 148 /* Container for page contents. */
 149
 150 .container {
 151     background-color: white;
 152 }
 153 .hero-unit {
 154     padding: 20px;
 155 }
 156 .navbar .container {
 157     background-color: inherit;
 158 }
 159 .navbar-inner {
 160     min-height: 40px;
 161     padding-right: 20px;
 162     padding-left: 20px;
 163     background-color: #F4F4F4;
 164     background-image: none;
 165     border: 1px solid #d4d4d4;
 166     -webkit-border-radius: 0;
 167     -moz-border-radius: 0;
 168     border-radius: 0;
 169 }
 170 code {
 171     color: #333333;
 172 }
 173 .navbar-inverse .navbar-inner {
 174     background-color: #20267D;
 175     background-image: none;
 176     border-color: #20267D;
 177 }
 178 .navbar-inverse .nav .active > a,
 179 .navbar-inverse .nav .active > a:hover, .navbar-inverse .nav .active > a:focus {
 180     color: #ffffff;
 181     background-color: #20267D;
 182 }
 183 .navbar-inverse .nav li.dropdown.open > .dropdown-toggle,
 184 .navbar-inverse .nav li.dropdown.active > .dropdown-toggle,
 185 .navbar-inverse .nav li.dropdown.open.active > .dropdown-toggle {
 186     color: #ffffff;
 187     background-color: #20267D;
 188 }
 189 .navbar-inverse .nav li.dropdown.active > .dropdown-toggle .caret {
 190     border-top-color: #999999;
 191     border-bottom-color: #999999;
 192 }
 193 .navbar-inverse .nav li.dropdown.open > .dropdown-toggle .caret {
 194     border-top-color: #ffffff;
 195     border-bottom-color: #ffffff;
 196 }
 197
 198 /* GitHub Ribbon */
 199 #github-ribbon a {
 200     background: #000;
 201     color: #fff;
 202     text-decoration: none;
 203     font-family: arial, sans-serif;
 204     text-align: center;
 205     font-weight: bold;
 206     padding: 5px 40%;
 207     font-size: 0.8rem;
 208     line-height: 1.6rem;
 209     position: relative;
 210     transition: 0.5s;
 211     width: 100%;
 212     margin: 0 auto;
 213     white-space: nowrap;
 214     z-index: 10;
 215 }
 216 #github-ribbon a:hover {
 217     background: #600;
 218     color: #fff;
 219 }
 220 #github-ribbon a::before, #github-ribbon a::after {
 221     content: "";
 222     width: 100%;
 223     display: block;
 224     position: absolute;
 225     top: 1px;
 226     left: 0;
 227     height: 1px;
 228     background: #fff;
 229 }
 230 #github-ribbon a::after {
 231     bottom: 1px;
 232     top: auto;
 233 }
 234
 235 /* GitHub ribbon breaking point */
 236 @media screen and (min-width: 600px) {
 237     .navbar .btn-navbar {
 238         margin-right: 150px;
 239     }
 240     #github-ribbon {
 241         position: absolute;
 242         display: block;
 243         top: 0;
 244         right: 0;
 245         width: 150px;
 246         overflow: hidden;
 247         height: 150px;
 248     }
 249     #github-ribbon a {
 250         width: 200px;
 251         position: absolute;
 252         padding: 5px 40px;
 253         top: 40px;
 254         right: -80px;
 255         transform: rotate(45deg);
 256         -webkit-transform: rotate(45deg);
 257         box-shadow: 1px 1px 10px rgba(0, 0, 0, 0.8);
 258     }
 259 }
 260 @media (max-width: 599px) {
 261     .header h1 {
 262         font-size: 20pt;
 263     }
 264     #header-text {
 265         font-size: 16pt;
 266     }
 267     #github-ribbon {
 268         width: 100%;
 269     }
 270     #github-ribbon a {
 271         display: block;
 272         padding: 0px 0px;
 273         margin: 0px 0px;
 274     }
 275 }