You've already forked RecordFlux
mirror of
https://github.com/AdaCore/RecordFlux.git
synced 2026-02-12 13:01:56 -08:00
8 lines
185 B
CSS
8 lines
185 B
CSS
pre {
|
|
background: var(--color-code-background);
|
|
border: 1px solid var(--color-background-border);
|
|
font-size: var(--code-font-size);
|
|
overflow: auto;
|
|
padding: 15px;
|
|
}
|