Merge pull request #249 from Fraenkiman/upstream/IE-Fix-obsolet

removes IE fix
This commit is contained in:
Arvid Zimmermann 2023-07-01 13:19:02 +02:00 committed by GitHub
commit e5edd0ff62
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -61,10 +61,7 @@ pre {
margin: 1em 1em;
padding: 5px 10px;
/* fix overflow in IE */
min-height: 40px;
height: auto !important;
height: 40px;
}
ul, li, ol { margin: 0; padding: 0 }