Folding Text - Prelim Custom Stylesheet

user.less

// This is your user.less. Use it to override the default styling. When this
// file is first created all lines are commented out (start with //) and so it
// has no effect in the editor's style.

// To change the font uncomment the following line:
@fontFamily: "Input Sans";

// To change the font size uncomment the following line:
@fontSize: 11pt;

// To change the base "ink" color (used for text) uncomment the following
// line:
//@inkColor: black;

// To change the base "paper" color (behind the text) uncomment the following
// line:
//@paperColor: white;

// Color used to indicate something. Such as when mouse is over a link.
//@indicatedColor: blue;

// EXAMPLE THEME
// - http://support.foldingtext.com/t/theme-to-make-foldingtext-look-like-writeroom/105
@inkColor: hsl(153, 23%, 82%);
@paperColor: mix(black, white, 90%);
@deskColor: mix(black, white, 90%);
@indicatedColor: @inkColor;
@selectionBackgroundColor: mix(@textColor, @paperColor, 20%);
@focusedSelectionBackgroundColor: mix(@textColor, @paperColor, 25%);
@codeblockBackgroundColor: fadeout(@textColor, 85%);

::-webkit-scrollbar {
  width:15px;
}

::-webkit-scrollbar-thumb {
  background-color: mix(@textColor, @paperColor, 25%);
  border: 3px solid transparent;
  border-radius: 9px;
  background-clip: content-box;
}


// CHANGE HEADING STYLES
// - http://support.foldingtext.com/t/theme-demonstrating-multiple-header-styles/196
.CodeMirror {
  .cm-heading {
    font-weight: 100;
    text-transform: uppercase;
  }

  .cm-heading[cm-level="1"] {
    // font-style: normal;
    font-family: "Input Sans Condensed";
    font-weight: 100;

    // You can also change the size by uncommenting
    // the following two lines.
    font-size: @fontSize * 2.6;
    line-height: @lineHeight * 2.6;

    color: #D9593D;
  }

  .cm-heading[cm-level="2"] {
    // font-style: italic;
    font-weight: 200;
    font-size: @fontSize * 1.8;
    line-height: @lineHeight * 1.8;
    color: #E4F5ED;
  }
  .cm-heading[cm-level="3"] {
    // font-style: italic;
    font-weight: 200;
    font-size: @fontSize * 1.4;
    line-height: @lineHeight * 1.4;
    color: #76A19A;
  }
  .cm-heading[cm-level="4"] {
    // font-style: italic;
    font-weight: 800;
    font-size: @fontSize * 0.8;
    line-height: @lineHeight * 0.8;
    color: mix(#76A19A, @paperColor, 80%);
  }
  .cm-heading[cm-level="5"] {
    // font-style: italic;
    font-weight: 800;
    font-size: @fontSize * 0.8;
    line-height: @lineHeight * 0.8;
    color: mix(#76A19A, @paperColor, 55%);
  }
  .cm-heading[cm-level="6"] {
    // font-style: italic;
    font-weight: 800;
    font-size: @fontSize * 0.8;
    line-height: @lineHeight * 0.8;
    color: mix(#76A19A, @paperColor, 35%);
  }
}