@@ -285,20 +285,25 @@ input[type="search"] {
287 // top alert on homepage
287 // top alert on homepage
288− .top-alert {
288+.top-alert {
289− margin: 0 -32px 1rem -32px;
289+ margin: 0 -32px 1rem -32px;
290− padding: 0.3rem 32px;
290+ padding: 0.3rem 32px;
293 // code blocks
293 // code blocks
294− pre, pre span {
294+pre, pre span {
295− @extend .mono;
295+ @extend .mono;
296− background-color: #f9f9f9 !important;
296+ background-color: #f9f9f9 !important;
297− color: black !important;
297+ color: black !important;
299 // code in headers
300 // code in headers
300− h1 code, h2 code, h3 code {
301+h1 code, h2 code, h3 code {
301− @extend .red4;
302+ @extend .red4;
302− background-color: transparent;
303+ background-color: transparent;
303− font-weight: 600;
304+ font-weight: 600;