87 lines
1.5 KiB
CSS
Raw Normal View History

2023-08-18 16:26:05 -04:00
h1, h2, h3, h4, h5, h6, h7 {
font-weight: 700;
}
h1 {
font-size: 28px;
}
h2 {
font-size: 24px;
}
h3 {
font-size: 22px;
}
h4 {
font-size: 20px;
}
h5 {
font-size: 18px;
}
h6 {
font-size: 18px;
}
h7 {
font-size: 18px;
}
2023-08-18 16:19:37 -04:00
.code_block {
font: 14px/1.4 "Cascadia Mono", monospace;
background: #272822ff;
color: #f8f8f2ff;
display: table;
white-space: break-spaces;
padding: 5px;
}
.code_block > code {
display: table;
counter-increment: code_line_number;
}
.code_block > code::before {
content: counter(code_line_number) " ";
display: inline-block;
position: absolute;
transform: TranslateX(-100%);
padding-right: 5px;
color: #eeeeee;
}
.code_block > code.highlighted {
2023-08-18 21:06:43 -04:00
/* We aren't using this because we are going to highlight individual characters, but we still need to set the highlighted class on the code elem so the line numbers on the left get highlighted to make empty lines more obvious. */
/* background: #307351ff; */
2023-08-18 16:19:37 -04:00
}
.code_block > code.highlighted::before {
background: #307351ff;
}
2023-08-18 17:40:19 -04:00
2023-08-18 21:06:43 -04:00
.code_block > code > span.highlighted {
background: #307351ff;
}
2023-08-18 17:40:19 -04:00
.output_container {
display: flex;
flex-direction: row;
}
.output_container > * {
2023-08-18 19:20:23 -04:00
flex: 1 0 0;
}
.ast_tree {
padding: 5px;
2023-08-18 17:40:19 -04:00
}
2023-08-18 18:32:23 -04:00
.ast_node {
2023-08-18 21:06:43 -04:00
cursor: pointer;
2023-08-18 18:32:23 -04:00
background: #eeeeee;
2023-08-18 19:20:23 -04:00
margin-bottom: 5px;
border: 1px solid #000000;
padding: 2px;
2023-08-18 18:32:23 -04:00
}
2023-08-18 21:06:43 -04:00
.ast_node.highlighted {
background: #307351ff;
color: #ffffff;
}