| 1 | body { |
| 2 | padding-top: 100px; /* required for fixed header */ |
| 3 | } |
| 4 | #header { |
| 5 | background: #f9f9f9; |
| 6 | margin-bottom: 10px; |
| 7 | border-bottom: 1px solid lightgray; |
| 8 | } |
| 9 | .navbar-brand { |
| 10 | padding-top: 0; |
| 11 | padding-bottom: 0; |
| 12 | } |
| 13 | .navbar-brand a, navbar-brand a:visited { |
| 14 | color: black; |
| 15 | font-size: 38px; |
| 16 | } |
| 17 | .navbar-brand a:hover { |
| 18 | text-decoration: none; |
| 19 | } |
| 20 | #header ul.nav { |
| 21 | display: inline-block; |
| 22 | } |
| 23 | #header ul.nav { |
| 24 | float: right; |
| 25 | margin-top: 20px; |
| 26 | margin-right: 20px; |
| 27 | } |
| 28 | @media screen and (min-width: 992px) { |
| 29 | /* without this, the right-most menu goes off the page */ |
| 30 | #header ul.nav { |
| 31 | margin-right: 75px; |
| 32 | } |
| 33 | } |
| 34 | @media screen and (min-width: 768px) and (max-width: 992px) { |
| 35 | /* The topnav drops down to the next line between these sizes. We must accomodate. */ |
| 36 | body { |
| 37 | padding-top: 130px; |
| 38 | } |
| 39 | /* center the menu and logo */ |
| 40 | .navbar-brand { |
| 41 | float: none; |
| 42 | text-align: center; |
| 43 | max-width: none; |
| 44 | } |
| 45 | #header ul.nav { |
| 46 | float: none; |
| 47 | display: table; /* shrink to fit */ |
| 48 | margin-left: auto; /* center */ |
| 49 | margin-right: auto; |
| 50 | } |
| 51 | } |
| 52 | @media screen and (max-width: 768px) { |
| 53 | #header .nav-collapse.in li, #header .nav-collapse.collapsing li { |
| 54 | float: none; |
| 55 | } |
| 56 | #header .nav-collapse.in .nav, #header .nav-collapse.collapsing .nav { |
| 57 | float: none; |
| 58 | } |
| 59 | } |
| 60 | code { |
| 61 | white-space: pre-wrap; |
| 62 | color: black; |
| 63 | background: transparent; |
| 64 | } |
| 65 | #demodiv { |
| 66 | width: 100%; |
| 67 | height: 320px; |
| 68 | margin-bottom: 10px; |
| 69 | } |
| 70 | @media screen and (max-width: 768px) { |
| 71 | /* aspect ratio is weird on phones */ |
| 72 | #demodiv { |
| 73 | height: 200px; |
| 74 | } |
| 75 | } |
| 76 | .dygraph-axis-label { |
| 77 | font-size: 12px; |
| 78 | } |
| 79 | .dygraph-title { |
| 80 | font-size: 16px; |
| 81 | } |
| 82 | h1{ |
| 83 | margin-top: 20px; |
| 84 | margin-bottom: 20px; |
| 85 | } |
| 86 | pre{ |
| 87 | background: #f9f9f9; |
| 88 | } |
| 89 | /* |
| 90 | #main { |
| 91 | margin-top: 30px; |
| 92 | } |
| 93 | .row { |
| 94 | margin-top: 30px; |
| 95 | } |
| 96 | */ |
| 97 | .row.smalltop { |
| 98 | margin-top: 10px; |
| 99 | } |
| 100 | |
| 101 | /* maybe just used on annotations.html ? */ |
| 102 | .thinborder { |
| 103 | border-width: 1px; |
| 104 | border-spacing: 0px; |
| 105 | border-style: solid; |
| 106 | border-color: black; |
| 107 | border-collapse: collapse; |
| 108 | } |
| 109 | |
| 110 | .thinborder td, |
| 111 | .thinborder th { |
| 112 | border-width: 1px; |
| 113 | padding: 5px; |
| 114 | border-style: solid; |
| 115 | border-color: black; |
| 116 | } |
| 117 | |
| 118 | #current-release { |
| 119 | font-size: 18px; |
| 120 | background: #f9f9f9; |
| 121 | /* |
| 122 | padding: 10px 15px; |
| 123 | border: 1px dashed black; |
| 124 | */ |
| 125 | display: table; |
| 126 | margin-bottom: 50px; |
| 127 | } |
| 128 | #current-release p:last-child { |
| 129 | margin-bottom: 0; |
| 130 | } |
| 131 | |
| 132 | /* When you visit dygraphs.com/options.html#errorBars, the fixed top nav |
| 133 | * obscures the top 100px of content for that anchor. This is a workaround. |
| 134 | * See http://stackoverflow.com/questions/9047703/fixed-position-navbar-obscures-anchors |
| 135 | */ |
| 136 | a[name] { |
| 137 | padding-top: 100px; /* matches body { padding-top } */ |
| 138 | margin-top: -100px; /* matches body { padding-top } */ |
| 139 | display: inline-block; /* required for webkit browsers */ |
| 140 | } |
| 141 | @media screen and (min-width: 768px) and (max-width: 992px) { |
| 142 | a[name] { |
| 143 | padding-top: 130px; /* matches body { padding-top } */ |
| 144 | margin-top: -130px; /* matches body { padding-top } */ |
| 145 | display: inline-block; /* required for webkit browsers */ |
| 146 | } |
| 147 | } |