173 lines
3.6 KiB
SCSS
173 lines
3.6 KiB
SCSS
@import "variables.scss";
|
|
@import "mixins.scss";
|
|
|
|
.bergamot-exercise {
|
|
@include bordered-block;
|
|
padding: 1em;
|
|
counter-increment: bergamot-exercise;
|
|
|
|
.bergamot-root {
|
|
border: none;
|
|
padding: 0;
|
|
margin-top: 1em;
|
|
}
|
|
|
|
|
|
.bergamot-exercise-label {
|
|
.bergamot-exercise-number::after {
|
|
content: "Exercise " counter(bergamot-exercise);
|
|
font-weight: bold;
|
|
text-decoration: underline;
|
|
}
|
|
}
|
|
|
|
.bergamot-button {
|
|
@include bordered-block;
|
|
padding: 0.25em;
|
|
padding-left: 1em;
|
|
padding-right: 1em;
|
|
background-color: inherit;
|
|
display: inline-flex;
|
|
align-items: center;
|
|
justify-content: center;
|
|
transition: 0.25s;
|
|
font-family: $font-body;
|
|
@include var(color, text-color);
|
|
|
|
&.bergamot-hidden {
|
|
display: none;
|
|
}
|
|
|
|
.feather {
|
|
margin-right: 0.5em;
|
|
}
|
|
}
|
|
|
|
.bergamot-play {
|
|
.feather { color: $primary-color; }
|
|
&:hover, &:focus {
|
|
.feather { color: lighten($primary-color, 20%); }
|
|
}
|
|
}
|
|
|
|
.bergamot-reset {
|
|
.feather { color: #0099CC; }
|
|
&:hover, &:focus {
|
|
.feather { color: lighten(#0099CC, 20%); }
|
|
}
|
|
|
|
svg {
|
|
fill: none;
|
|
}
|
|
}
|
|
|
|
.bergamot-close {
|
|
.feather { color: tomato; }
|
|
&:hover, &:focus {
|
|
.feather { color: lighten(tomato, 20%); }
|
|
}
|
|
}
|
|
|
|
.bergamot-button-group {
|
|
margin-top: 0.5em;
|
|
}
|
|
}
|
|
|
|
.bergamot-root {
|
|
@include bordered-block;
|
|
padding: 1em;
|
|
|
|
.bergamot-section-heading {
|
|
margin-bottom: 0.5em;
|
|
font-family: $font-body;
|
|
font-style: normal;
|
|
font-weight: bold;
|
|
font-size: 1.25em;
|
|
}
|
|
|
|
.bergamot-section {
|
|
margin-bottom: 1em;
|
|
}
|
|
|
|
textarea {
|
|
display: block;
|
|
width: 100%;
|
|
height: 10em;
|
|
resize: none;
|
|
}
|
|
|
|
input[type="text"] {
|
|
width: 100%;
|
|
@include textual-input;
|
|
}
|
|
|
|
.bergamot-rule-list {
|
|
display: flex;
|
|
flex-direction: row;
|
|
flex-wrap: wrap;
|
|
justify-content: center;
|
|
}
|
|
|
|
.bergamot-rule-list katex-expression {
|
|
margin-left: .5em;
|
|
margin-right: .5em;
|
|
flex-grow: 1;
|
|
flex-basis: 0;
|
|
}
|
|
|
|
.bergamot-rule-section {
|
|
.bergamot-rule-section-name {
|
|
text-align: center;
|
|
margin: 0.25em;
|
|
font-weight: bold;
|
|
}
|
|
}
|
|
|
|
.bergamot-proof-tree {
|
|
overflow: auto;
|
|
}
|
|
|
|
.bergamot-error {
|
|
@include bordered-block;
|
|
padding: 0.5rem;
|
|
border-color: tomato;
|
|
background-color: rgba(tomato, 0.25);
|
|
margin-top: 1rem;
|
|
}
|
|
|
|
.bergamot-selector {
|
|
button {
|
|
@include var(background-color, background-color);
|
|
@include var(color, text-color);
|
|
@include bordered-block;
|
|
padding: 0.5rem;
|
|
font-family: $font-body;
|
|
border-style: dotted;
|
|
|
|
&.active {
|
|
border-color: $primary-color;
|
|
border-style: solid;
|
|
font-weight: bold;
|
|
}
|
|
|
|
&:not(:first-child) {
|
|
border-bottom-left-radius: 0;
|
|
border-top-left-radius: 0;
|
|
}
|
|
|
|
&:not(:last-child) {
|
|
border-bottom-right-radius: 0;
|
|
border-top-right-radius: 0;
|
|
border-right-width: 0;
|
|
}
|
|
}
|
|
|
|
button.active + button {
|
|
border-left-color: $primary-color;
|
|
border-left-style: solid;
|
|
}
|
|
|
|
margin-bottom: 1rem;
|
|
}
|
|
}
|