+ margin: 20px auto;
+}
+
+
+
+/* Code sample */
+pre.sourceCode,
+pre.input {
+ color: ForestGreen;
+}
+pre.output {
+ color: MediumBlue;
+}
+pre.error {
+ color: Red;
+}
+
+
+.card {
+ background-color: white;
+}
+
+
+
+
+@media (max-width: 700px) {
+ div.banner a img {
+ padding: 20px 0px;
+ }
+}
+
+
+
+/*----------------------------------------*/
+/* Override Bootstrap CSS */
+/*----------------------------------------*/
+
+blockquote p {
+ font-size: inherit;
+ font-weight: inherit;
+ line-height: inherit;
+}
+
+blockquote h2{
+ margin-top: 0px;
+}
+
+/* readability: darken the alert colour for contrast with background */
+
+.alert {
+ color: rgb(0, 0, 0);
+}
+
+.navbar-nav {
+ margin:0;
+}
+
+.navbar-nav .container {
+ font-size:11pt;
+ padding: 27px 10px 0px 10px;
+ background: url('../img/software-carpentry-banner.png') no-repeat #d6d6d6;
+ border-top: 5px solid #2b3990;
+ background-size: 250px;
+ background-position: 10px 10px;
+ border-bottom: 1px solid #CCC;
+}
+
+
+/* Container for page contents. */
+.container-full-width {
+ max-width: none;
+}
+
+.container .jumbotron {
+ padding: 20px;
+}
+
+.navbar .container {
+ background-color: inherit;
+}
+
+.navbar-inner {
+ min-height: 40px;
+ padding-right: 20px;
+ padding-left: 20px;
+ background-color: #F4F4F4;
+ background-image: none;
+ border: 1px solid #d4d4d4;
+ -webkit-border-radius: 0;
+ -moz-border-radius: 0;
+ border-radius: 0;
+}
+
+code {
+ color: #333333;
+}
+
+.navbar-inverse .navbar-inner {
+ background-color: #20267D;
+ background-image: none;
+ border-color: #20267D;
+}
+.navbar-inverse .nav .active > a,
+.navbar-inverse .nav .active > a:hover, .navbar-inverse .nav .active > a:focus {
+ color: #ffffff;
+ background-color: #20267D;
+}
+.navbar-inverse .nav li.dropdown.open > .dropdown-toggle,
+.navbar-inverse .nav li.dropdown.active > .dropdown-toggle,
+.navbar-inverse .nav li.dropdown.open.active > .dropdown-toggle {
+ color: #ffffff;
+ background-color: #20267D;
+}
+.navbar-inverse .nav li.dropdown.active > .dropdown-toggle .caret {
+ border-top-color: #999999;
+ border-bottom-color: #999999;
+}
+.navbar-inverse .nav li.dropdown.open > .dropdown-toggle .caret {
+ border-top-color: #ffffff;
+ border-bottom-color: #ffffff;
+}
+
+/* Top banner of every page. */
+div.banner {
+ background-color: #FFFFFF;
+ width: 100%;
+ height: 90px;
+ margin: 0px;
+ padding: 0;
+ border-bottom: 1px solid #A6A6A6;
+}
+
+/* Padding around image in top banner. */
+div.banner a img {
+ padding: 20px 25px;