Akron | 7e5afce | 2020-08-25 15:50:19 +0200 | [diff] [blame] | 1 | @import "../util"; |
| 2 | |
| 3 | /** |
| 4 | * Styles for the intro page |
| 5 | */ |
Akron | bd39a43 | 2017-09-20 13:57:13 +0200 | [diff] [blame] | 6 | div.intro { |
Akron | 7e5afce | 2020-08-25 15:50:19 +0200 | [diff] [blame] | 7 | |
Akron | bd39a43 | 2017-09-20 13:57:13 +0200 | [diff] [blame] | 8 | // Visited links |
| 9 | a:visited { |
| 10 | color: $darkest-orange |
| 11 | } |
| 12 | |
| 13 | div.announcement { |
| 14 | background-color: $light-orange; |
Akron | 7e5afce | 2020-08-25 15:50:19 +0200 | [diff] [blame] | 15 | padding: $base-padding; |
| 16 | border: 5px dashed $dark-orange; |
| 17 | border-radius: 1em; |
| 18 | width: 90%; |
| 19 | margin: auto; |
Akron | bd39a43 | 2017-09-20 13:57:13 +0200 | [diff] [blame] | 20 | } |
| 21 | } |
| 22 | |
| 23 | aside.active ~ main div.intro { |
| 24 | margin-left: $logo-left-distance - $standard-margin + $base-padding; |
| 25 | } |