Drop unneccesary important specifiers (#3742)

This commit is contained in:
Julian Friedman 2021-06-07 20:13:48 +01:00 committed by GitHub
parent 76e8f4e11a
commit b944e4ce21
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 5 deletions

View File

@ -47,14 +47,15 @@
}
/* text sizing of tables, Alert, Warnings, Notes*/
.md-typeset table {
font-size: 100% !important;
.md-typeset table, .md-typeset table:not([class]) {
font-size: 100%;
}
.md-typeset code {
font-size: 100% !important;
font-size: 100%;
}
.md-typeset .admonition {
font-size: 100% !important;
font-size: 100%;
}

View File

@ -176,5 +176,5 @@ body {
/*fixing issue in safari css */
.md-typeset .task-list-item {
margin-left: 25px !important;
margin-left: 25px;
}