2014-07-07 11:46:32 -04:00
|
|
|
.alert {
|
|
|
|
margin: 15px 0 5px 0;
|
|
|
|
}
|
2014-10-20 02:01:19 -04:00
|
|
|
|
|
|
|
// there are (n) new or updated topics, click to show
|
2015-01-24 02:39:44 -05:00
|
|
|
.alert.alert-info {
|
2018-06-08 05:49:31 -04:00
|
|
|
margin: 0;
|
|
|
|
margin-bottom: -3px;
|
|
|
|
margin-top: -5px;
|
|
|
|
padding: 15px;
|
|
|
|
font-size: $font-0;
|
2014-10-20 02:01:19 -04:00
|
|
|
}
|