Commit | Line | Data |
---|---|---|
14403441 DV |
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 | ||
eb35c2f3 DV |
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 | } | |
3ad199fc DV |
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 | } |