r/p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull requests Releases 1 Wiki Activity

more theme stuff

Browse source
This commit is contained in:
catarak 2016-09-14 13:03:51 -04:00 committed by Cassie Tarakajian
parent e540031678
commit 21846a1ada
2 changed files with 19 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
client/styles/components/_editor.scss
View file

@ -1,7 +1,9 @@
.CodeMirror { .CodeMirror {
@include themify() {
border: 1px solid getThemifyVariable('ide-border-color');
}
font-family: Inconsolata, monospace; font-family: Inconsolata, monospace;
height: 100%; height: 100%;
border: 1px solid $ide-border-color;
} }
.CodeMirror-linenumbers { .CodeMirror-linenumbers {
@ -54,11 +56,13 @@
} }
.CodeMirror-lint-tooltip { .CodeMirror-lint-tooltip {
background-color: $light-modal-background-color; @include themify() {
border: 1px solid $light-modal-border-color; background-color: getThemifyVariable('modal-background-color');
border: 1px solid getThemifyVariable('modal-border-color');
box-shadow: 0 12px 12px getThemifyVariable('shadow-color');
}
border-radius: 2px; border-radius: 2px;
box-shadow: 0 12px 12px $light-shadow-color; font-family: 'Avenir Next', Montserrat, sans-serif;
font-family: Montserrat, sans-serif;
} }
.editor__options-button { .editor__options-button {

11
client/styles/components/_preferences.scss
View file

@ -39,7 +39,9 @@
flex-wrap: wrap; flex-wrap: wrap;
padding-bottom: #{12 / $base-font-size}rem; padding-bottom: #{12 / $base-font-size}rem;
& + & { & + & {
border-top: 2px dashed $light-button-border-color; @include themify() {
border-top: 2px dashed getThemifyVariable('button-border-color');
}
} }
} }
@ -56,14 +58,17 @@
} }
.preference__value { .preference__value {
border: 2px solid $light-button-border-color; @include themify() {
border: 2px solid getThemifyVariable('button-border-color');
background-color: getThemifyVariable('button-background-color');
color: $light-primary-text-color;
}
text-align: center; text-align: center;
border-radius: 0%; border-radius: 0%;
width: #{48 / $base-font-size}rem; width: #{48 / $base-font-size}rem;
height: #{44 / $base-font-size}rem; height: #{44 / $base-font-size}rem;
margin: 0 #{28 / $base-font-size}rem; margin: 0 #{28 / $base-font-size}rem;
padding: 0; padding: 0;
background-color: $light-button-background-color;
} }
.preference__label { .preference__label {