@base03  :  #002b36;
@base02  :  #073642;
@base01  :  #586e75;
@base00  :  #657b83;
@base0   :  #839496;
@base1   :  #93a1a1;
@base2   :  #eee8d5;
@base3   :  #fdf6e3;
@yellow  :  #b58900;
@orange  :  #cb4b16;
@red     :  #dc322f;
@magenta :  #d33682;
@violet  :  #6c71c4;
@blue    :  #268bd2;
@cyan    :  #2aa198;
@green   :  #859900;

// Mixin to deal with cross-browser transitions
.transition (@param, @time, @type) {
    -webkit-transition: @param @time @type;
    -moz-transition: @param @time @type;
    -o-transition: @param @time @type;
    -ms-transition: @param @time @type;
    transition: @param @time @type;
}

.nav_button(@c) {
    background-color: @c;
    border-color: @c;
    .transition(all, 0.25s, linear);
    &:hover {
        background-color: darken(@c, 15%);
        border-color: darken(@c, 15%);
    }
}

@font-face {
    font-family: 'icomoon';
    src:url('/assets/fonts/icomoon.eot?-ei3c8u');
    src:url('/assets/fonts/icomoon.eot?#iefix-ei3c8u') format('embedded-opentype'),
        url('/assets/fonts/icomoon.woff?-ei3c8u') format('woff'),
        url('/assets/fonts/icomoon.ttf?-ei3c8u') format('truetype'),
        url('/assets/fonts/icomoon.svg?-ei3c8u#icomoon') format('svg');
    font-weight: normal;
    font-style: normal;
}

[class^="icon-"], [class*=" icon-"] {
    font-family: 'icomoon';
    speak: none;
    font-style: normal;
    font-weight: normal;
    font-variant: normal;
    text-transform: none;
    line-height: 1;

    font-size: 32px;

    /* Better Font Rendering =========== */
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
}