Skip to content

Commit 74ed58a

Browse files
committed
style: adjust padding and height for title bar in code window
Modify padding for the title bar in the code window to improve aesthetics and adjust height for consistency across different styles.
1 parent 2047b8d commit 74ed58a

1 file changed

Lines changed: 9 additions & 3 deletions

File tree

_extensions/code-window/style.css

Lines changed: 9 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -25,12 +25,18 @@
2525
border: none;
2626
border-bottom: 1px solid color-mix(in srgb, currentColor 15%, transparent);
2727
border-radius: 0;
28-
padding: 0.6em 1em;
28+
padding: 0.2em 1em;
29+
line-height: 1.2;
2930
margin: 0;
3031
page-break-after: avoid;
3132
break-after: avoid;
3233
}
3334

35+
/* Restore title bar padding for Reveal.js slides */
36+
.reveal .code-with-filename .code-with-filename-file {
37+
padding: 0.3em 1em;
38+
}
39+
3440
/* Filename styling (base) */
3541
.code-with-filename .code-with-filename-file pre {
3642
flex: 1;
@@ -96,7 +102,7 @@
96102
display: inline-flex;
97103
flex-shrink: 0;
98104
width: 3.4em;
99-
height: 0.80em;
105+
height: 0.85em;
100106
background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='40' height='10'%3E%3Ccircle cx='5' cy='5' r='5' fill='%23ff5f56'/%3E%3Ccircle cx='20' cy='5' r='5' fill='%23ffbd2e'/%3E%3Ccircle cx='35' cy='5' r='5' fill='%2327c93f'/%3E%3C/svg%3E");
101107
background-size: contain;
102108
background-repeat: no-repeat;
@@ -119,7 +125,7 @@
119125
display: inline-flex;
120126
flex-shrink: 0;
121127
width: 3.6em;
122-
height: 0.80em;
128+
height: 0.85em;
123129
background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='40' height='10' fill='none'%3E%3Cline x1='3' y1='5' x2='11' y2='5' stroke='%23888' stroke-width='1.5' stroke-linecap='round'/%3E%3Crect x='17' y='1' width='8' height='8' rx='1' stroke='%23888' stroke-width='1.5' fill='none'/%3E%3Cline x1='31' y1='1' x2='39' y2='9' stroke='%23888' stroke-width='1.5' stroke-linecap='round'/%3E%3Cline x1='39' y1='1' x2='31' y2='9' stroke='%23888' stroke-width='1.5' stroke-linecap='round'/%3E%3C/svg%3E");
124130
background-position: right;
125131
background-size: contain;

0 commit comments

Comments
 (0)