2015-08-08 21:08:07 -04:00
|
|
|
.example-title {
|
|
|
|
|
@extend .alert;
|
|
|
|
|
|
2015-12-11 21:49:31 -05:00
|
|
|
color: $heather;
|
2015-08-08 21:08:07 -04:00
|
|
|
padding: 0 ($unit * 2);
|
|
|
|
|
font-size: 14px;
|
2015-12-11 21:49:31 -05:00
|
|
|
// font-weight: 500;
|
|
|
|
|
border-color: $fog;
|
|
|
|
|
background: $fog;
|
|
|
|
|
box-shadow: none;
|
2015-08-08 21:08:07 -04:00
|
|
|
// temporary hack to remove space between example title and code-example
|
|
|
|
|
margin-bottom: -18px;
|
2015-12-11 21:49:31 -05:00
|
|
|
}
|
