1 |
/* Stylesheet for the section menus of https://www.gnu.org, |
/* Stylesheet for the section menus of https://www.gnu.org, |
2 |
created November 27, 2019; last modified May 9, 2020. |
created November 27, 2019; last modified April 28, 2021. |
3 |
This file is in the public domain. */ |
This file is in the public domain. */ |
4 |
|
|
5 |
|
|
28 |
display: block; |
display: block; |
29 |
padding: .6em 3.2% 1.5em; |
padding: .6em 3.2% 1.5em; |
30 |
margin: 0 -3.2%; |
margin: 0 -3.2%; |
|
background: #fffdf5; |
|
31 |
border-top: 3px solid #ddd; |
border-top: 3px solid #ddd; |
32 |
} |
} |
33 |
#navlinks .reduced-width { width: 30em; } |
#navlinks .reduced-width { width: 30em; } |
109 |
/* Style */ |
/* Style */ |
110 |
/***********/ |
/***********/ |
111 |
|
|
112 |
|
#navlinks { background: #fffdf5; } |
113 |
|
|
114 |
#navlinks a { text-decoration: none; } |
#navlinks a { text-decoration: none; } |
115 |
#navlinks li a, #navlinks dt a { color: #049; } |
#navlinks li a, #navlinks dt a { color: #049; } |
116 |
|
#navlinks li a:hover, #navlinks dt a:hover { background: #eee; } |
117 |
|
|
118 |
#navlinks li.current > a[href], |
#navlinks li.current > a[href], |
119 |
#navlinks li.current > a[href]:hover, |
#navlinks li.current > a[href]:hover, |
120 |
#navlinks dt.current a[href], |
#navlinks dt.current a[href], |
121 |
#navlinks dt.current a[href]:hover { |
#navlinks dt.current a[href]:hover { |
122 |
font-style: italic; |
font-style: italic; |
123 |
color: #333; |
color: #333; |
124 |
background: #e7f2e2; |
background: #eee; |
125 |
} |
} |
126 |
#navlinks .reduced-width, #navlinks .reduced-width a[href] { |
#navlinks .reduced-width, #navlinks .reduced-width a[href] { |
127 |
font-family: "Noto Sans Display", "Noto Sans", "Liberation Sans", |
font-family: "Noto Sans Display", "Noto Sans", "Liberation Sans", |
128 |
sans-serif; |
sans-serif; |
129 |
} |
} |
|
a#side-menu-button[href] img { background: none; } |
|