theme: remove unimportant stuff

This commit is contained in:
Sören Weber 2023-11-19 02:42:58 +01:00
parent 6cdff186c0
commit f3e60081da
No known key found for this signature in database
GPG key ID: BEC6D55545451B6D
2 changed files with 3 additions and 8 deletions

View file

@ -76,11 +76,6 @@ pre:not(.mermaid) {
hr{
border-bottom: 1px solid rgba( 221, 221, 221, 1 );
}
body,
#R-body,
#R-body-inner {
overflow: visible !important; /* turn off limitations for perfect scrollbar */
}
#R-body #R-body-inner {
/* reset paddings for chapters in screen */
padding: 0 3.25rem 4rem 3.25rem;

View file

@ -309,7 +309,7 @@ dd {
font-size: 2rem;
font-weight: 200;
letter-spacing: -.02175em;
line-height: 110% !important;
line-height: 110%;
margin: 1.2rem 0 .8rem 0;
padding-inline-start: 1rem;
text-rendering: optimizeLegibility;
@ -371,8 +371,8 @@ dd {
}
#R-body img:not(.lightbox-image).inline {
display: inline !important;
margin: 0 !important;
display: inline;
margin: 0;
vertical-align: bottom;
}