2020-11-26 15:58:02 +01:00
|
|
|
.aside {
|
|
|
|
padding-left: .5rem;
|
|
|
|
margin-left: .5rem;
|
2020-11-26 19:55:12 +01:00
|
|
|
border-left: 5px solid $grey;
|
2020-11-26 15:58:02 +01:00
|
|
|
|
|
|
|
// For very large screens, put it on the right side
|
|
|
|
@media (min-width: 1200px) {
|
|
|
|
width: 30%;
|
|
|
|
float: right;
|
|
|
|
}
|
|
|
|
|
|
|
|
> p {
|
|
|
|
margin: .5rem;
|
|
|
|
font-size: 80%;
|
|
|
|
}
|
|
|
|
}
|