2020-11-25 23:22:07 +01:00
|
|
|
details {
|
2020-11-27 15:16:19 +01:00
|
|
|
background: $color-background;
|
|
|
|
border: 1px solid $color-background-med;
|
2020-11-25 23:22:07 +01:00
|
|
|
border-radius: 3px;
|
|
|
|
margin-bottom: 1.0em;
|
2020-12-02 10:18:35 +01:00
|
|
|
padding: 12px;
|
2020-11-26 10:59:38 +01:00
|
|
|
|
2020-11-25 23:22:07 +01:00
|
|
|
pre.src {
|
2020-11-26 13:42:06 +01:00
|
|
|
margin-top: 12px;
|
|
|
|
margin-bottom: 0;
|
2020-11-25 23:22:07 +01:00
|
|
|
}
|
|
|
|
|
2020-11-26 19:57:17 +01:00
|
|
|
summary {
|
|
|
|
outline: 0;
|
2020-11-27 15:16:19 +01:00
|
|
|
color: $color-background-med;
|
2020-11-26 19:57:17 +01:00
|
|
|
padding: 0px;
|
|
|
|
margin: 0px;
|
|
|
|
cursor: pointer;
|
|
|
|
|
2020-11-27 15:16:19 +01:00
|
|
|
// Click to unfold button
|
2020-11-26 19:57:17 +01:00
|
|
|
&::after {
|
|
|
|
font-size: 0.85em;
|
2020-11-27 15:16:19 +01:00
|
|
|
color: $color-background-med;
|
2020-11-26 19:57:17 +01:00
|
|
|
float: right;
|
|
|
|
padding-right: 0.5em;
|
|
|
|
content: "Click to fold/unfold";
|
|
|
|
}
|
2020-11-25 23:22:07 +01:00
|
|
|
}
|
|
|
|
}
|