gristlabs_grist-core/app/client/components/CodeEditorPanel.css
George Gevoian ec157dc469 (core) Add dark mode to user preferences
Summary:
Adds initial implementation of dark mode. Preferences for dark mode are
available on the account settings page. Dark mode is currently a beta feature
as there are still some small bugs to squash and a few remaining UI elements
to style.

Test Plan: Browser tests.

Reviewers: jarek

Reviewed By: jarek

Subscribers: paulfitz, jarek

Differential Revision: https://phab.getgrist.com/D3587
2022-09-05 19:17:32 -07:00

53 lines
1007 B
CSS

.g-code-panel {
position:absolute;
width: 100%;
height: 100%;
margin: 10px;
overflow: auto;
}
.g-code-viewer {
padding: 2rem 1rem;
font-family: monospace;
white-space: pre-wrap;
word-break: break-all;
word-wrap: break-word;
}
.g-code-viewer.hljs {
color: var(--grist-theme-code-view-text, #444);
background-color: inherit;
}
.g-code-panel-denied {
text-align: center;
}
.g-code-viewer .hljs-keyword {
color: var(--grist-theme-code-view-keyword, #444);
}
.g-code-viewer .hljs-comment {
color: var(--grist-theme-code-view-comment, #888888);
}
.g-code-viewer .hljs-meta {
color: var(--grist-theme-code-view-meta, #1F7199);
}
.g-code-viewer .hljs-title {
color: var(--grist-theme-code-view-title, #880000);
}
.g-code-viewer .hljs-params {
color: var(--grist-theme-code-view-params, #444);
}
.g-code-viewer .hljs-string {
color: var(--grist-theme-code-view-string, #880000);
}
.g-code-viewer .hljs-number {
color: var(--grist-theme-code-view-number, #880000);
}