Skip to content

Instantly share code, notes, and snippets.

@jonbenwaa
jonbenwaa / Dark Custom.xml
Created April 17, 2019 02:01 — forked from dungam/Dark Custom.xml
Programmer's Notepad - Customized Dark Theme
<UserSettings>
<override-colours caret="e6e6fa" indentGuides="282828" />
<override-classes>
<style-class name="default" font="Monaco" back="272828" fore="fafafa" />
<style-class back="222222" fore="666666" name="linenumbers"></style-class>
<style-class name="comment" fore="d500d5"/>
<style-class name="keyword" fore="f47a00" bold="true"/>
<style-class name="string" fore="5fff61" />
<style-class name="number" fore="fafafa" />
<style-class name="identifier" fore="fddf39" />
// Conver scale factor into pixels
.fontScale(@scale: 0) {
@list: 14px, 16px, 20px, 24px, 28px, 34px, 41px, 50px, 60px;
.test-args(@scale) when (@scale >= -2) and (@scale <= 6) {
font-size: extract(@list, @scale + 3);
}
.test-args(@scale);
}