Fix some border issues

This commit is contained in:
tarikjaber
2023-04-06 19:22:57 -04:00
parent d70e6c6249
commit 4a0589bc2c

View File

@@ -88,25 +88,24 @@ pre {
#code-container { #code-container {
margin: 0; margin: 0;
border-radius: 5px;
max-width: 100%; max-width: 100%;
} }
#code-container .code-line:first-of-type .line-number { #code-container .code-line:first-of-type .line-number {
padding-top: 11px; padding-top: calc(10px + var(--border-thickness));
} }
#code-container .code-line:last-of-type .line-number { #code-container .code-line:last-of-type .line-number {
padding-bottom: 11px; padding-bottom: calc(10px + var(--border-thickness));
} }
#code-container .code-line:first-of-type #code { #code-container .code-line:first-of-type #code {
padding-top: 10px; padding-top: calc(10px + var(--border-thickness));
border-top: var(--border-thickness) solid #c9d1d9; border-top: var(--border-thickness) solid #c9d1d9;
} }
#code-container .code-line:last-of-type #code { #code-container .code-line:last-of-type #code {
padding-bottom: 10px; padding-bottom: calc(10px + var(--border-thickness));
border-bottom: var(--border-thickness) solid #c9d1d9; border-bottom: var(--border-thickness) solid #c9d1d9;
} }