Various minor improvements (#843)

This commit is contained in:
Jonah Aragon 2022-04-01 22:24:25 -05:00 committed by GitHub
parent 345f446050
commit 6c7092c229
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 8 additions and 15 deletions

View file

@ -30,6 +30,7 @@
/* Purple buttons */
.md-typeset .md-button {
color: var(--md-typeset-a-color);
margin-bottom: 5px;
}
.md-typeset .md-button--primary {
color: white;