--- /dev/null
+@import "../base";
+
+@spacing : 5;
+
+@main-background: #002b36; // base 03
+@secondary-background : #073642; // base 02
+
+@text-color: #839496; // base 0
+@variable-name-color: #93a1a1; // base 1
+@variable-type-color: #268bd2; // blue
+@variable-type-color-hover: #2aa198; // cyan
+
+@border-color: #586e75; // base 01
+@border-color-hover: #268bd2; // blue
+
+.keyboard-caret() {
+ box-shadow : 0 0 3px 2px #859900 inset; // green
+ border-radius : 7px;
+}
+
+body {
+ background : @secondary-background;
+ color : #fff; // for non-kint elements to remain at least semi-readable
+}
+
+.kint {
+ background : @secondary-background;
+ box-shadow : 0 0 5px 3px @secondary-background;
+
+ > dl > dt,
+ ul.kint-tabs {
+ box-shadow : 4px 0 2px -3px @variable-type-color inset;
+ }
+}
+
+.kint ul.kint-tabs li.kint-active-tab {
+ padding-top: 7px;
+ height: 34px;
+}
\ No newline at end of file