2018-09-17 15:06:50 +02:00
|
|
|
@import "colors";
|
2017-06-14 14:42:09 +02:00
|
|
|
|
|
|
|
|
.patron {
|
2017-06-14 14:57:30 +02:00
|
|
|
p {
|
|
|
|
|
margin-bottom: 20px;
|
|
|
|
|
}
|
2018-09-17 15:06:50 +02:00
|
|
|
|
|
|
|
|
.icon.download {
|
|
|
|
|
background-color: $blue;
|
|
|
|
|
box-shadow: 0px 0px 1px 2px $blue;
|
|
|
|
|
}
|
2017-06-14 14:42:09 +02:00
|
|
|
}
|
