language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-30 23:31:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Fiddle with default colors a bit

Browse source
This commit is contained in:
Richard Feldman 2020-05-27 22:38:47 -04:00
parent 5350818e07
commit be0f76e3e5
2 changed files with 8 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
editor/src/lib.rs
View file

@ -377,7 +377,7 @@ fn run_event_loop() {
} }
} else { } else {
PushConstants { PushConstants {
color: [1.0, 1.0, 1.0, 1.0], color: [0.77254902, 0.658823529, 1.0, 0.5],
pos: [0.06 * index as f32, 0.0], pos: [0.06 * index as f32, 0.0],
scale: [0.05, 0.05], scale: [0.05, 0.05],
} }
@ -486,7 +486,7 @@ fn run_event_loop() {
viewport.rect, viewport.rect,
&[ClearValue { &[ClearValue {
color: ClearColor { color: ClearColor {
float32: [0.0, 0.0, 0.0, 1.0], float32: [0.01, 0.01, 0.01, 1.0],
}, },
}], }],
SubpassContents::Inline, SubpassContents::Inline,

10
www/styles.css
View file

@ -1,11 +1,12 @@
:root { :root {
--link-color: #5c0bff; --link-color: #5c0bff;
--code-link-color: #4e00eb;
--text-color: #333333; --text-color: #333333;
--logo-solid: #aaaaaa; --logo-solid: #aaaaaa;
--code-color: #222222; --code-color: #222222;
--code-bg-color: #eeeeee;
--main-bg-color: #fdfdfd; --main-bg-color: #fdfdfd;
--border-bg-color: #E9E9E9; --border-bg-color: #E9E9E9;
--code-bg-color: #eeeeee;
--logo-gradient-start: #aaaaaa; --logo-gradient-start: #aaaaaa;
--logo-gradient-mid: #777777; --logo-gradient-mid: #777777;
--logo-gradient-end: #333333; --logo-gradient-end: #333333;
@ -248,11 +249,11 @@ code {
} }
code a { code a {
color: var(--link-color); color: var(--code-link-color);
} }
code a:visited { code a:visited {
color: var(--link-color); color: var(--code-link-color);
} }
pre { pre {
@ -294,11 +295,12 @@ pre {
--main-bg-color: #363636; --main-bg-color: #363636;
--border-bg-color: #111111; --border-bg-color: #111111;
--code-color: #eeeeee; --code-color: #eeeeee;
--code-bg-color: #2b2b2b; --code-bg-color: #2a2a2a;
--text-color: #cccccc; --text-color: #cccccc;
--logo-solid: #777777; --logo-solid: #777777;
--faded-color: #bbbbbb; --faded-color: #bbbbbb;
--link-color: #b894ff; --link-color: #b894ff;
--code-link-color: #c5a8ff;
--logo-gradient-start: #333333; --logo-gradient-start: #333333;
--logo-gradient-mid: #777777; --logo-gradient-mid: #777777;
--logo-gradient-end: #aaaaaa; --logo-gradient-end: #aaaaaa;