30
30
img .logo {
31
31
width : 120px ;
32
32
}
33
-
34
- @media screen and (min-width : 768px ) {
35
- #hexlogo {
36
- height : 30px ;
37
- }
38
- .navbar .navbar-brand {
39
- padding-top : 13px ;
40
- line-height : 19px ;
41
- padding-left : 10px ;
42
- }
43
- .navbar .navbar-form {
44
- margin : 3px 5px 3px 5px ;
45
- }
46
- }
47
-
48
- @media screen and (max-width : 480px ) {
49
-
50
- /*
51
- .navbar .navbar-brand {
52
- padding-top: 10px;
53
- padding-right: 0;
54
- margin-right: -120px;
55
- padding-left: 0px;
56
- font-size: 1.2rem;
57
- }
58
- */
59
-
60
- /*
61
- .nav-text.text-muted.me-auto {
62
- font-size: 0.8rem;
63
- }
64
- */
65
-
66
- #logo img {
67
- height : 15px !important ;
68
- }
69
- }
70
-
71
33
// undo designer choice in pkgdown to add a lot of whitespace under h1
72
34
@media (min-width : 576px ){
73
35
.template-home .page-header {
74
36
min-height : 0 ;
75
37
}
76
38
}
77
39
78
- /*
79
- .nav-text.text-muted.me-auto {
80
- color: #3b88bfff !important;
81
- }
82
- */
83
40
84
- /*
85
- main h1 img {
86
- max-width: 120px;
87
- }
88
- */
89
41
90
42
/* Reference index. To make it very different from h2 */
91
43
.template-reference-index h3 {
@@ -99,13 +51,6 @@ main h1 img {
99
51
}
100
52
101
53
/* table of contents -------------------------------------------------------- */
102
- /*
103
- $pkgdown-toc-border-width: 3px !default;
104
- $pkgdown-toc-border-color: $primary !default;
105
- $pkgdown-toc-active-color: $primary !default;
106
- $pkgdown-toc-hover-bg: change-color($primary, $alpha: 0.2) !default;
107
- $pkgdown-toc-hover-color: $primary !default;
108
- */
109
54
110
55
// needed for scrollspy
111
56
body {position : relative ;}
@@ -186,18 +131,6 @@ aside {
186
131
187
132
188
133
189
- @media screen and (max-width : 480px ) {
190
- #logo > .img {
191
-
192
- }
193
- .navbar .navbar-brand {
194
- padding-top : 10px ;
195
- padding-right : 0 ;
196
- margin-right : -120px ;
197
- }
198
- }
199
-
200
-
201
134
/* Footer */
202
135
203
136
0 commit comments