body {
    font-family: 'Helvetica Neue Light','Helvetica Neue','Source Sans Pro',sans-serif;
    letter-spacing: 1px;
    color: #6a6c8a;
}
#paper {
    top: 350px;
    bottom: 5px;
    left: 5px;
    right: 5px;
    position: absolute;
    border: 1px solid #ccc;
}
#program {
    border: 1px solid #d4d4d4;
    padding: 20px;
    margin: 20px;
}
.code-sample {
    position: absolute;
    width: 100%;
    display: table;
    overflow: hidden;
    top: 5px;
}
.code-sample #select-program {
    float: left;
    clear: both;
    padding: 10px 5px;
}
.code-sample .CodeMirror.cm-s-default {
    clear: left;
    margin-left: 0;
}
.code-sample #stats label {
    background: #EEE;
    width: 120px;
    display: inline-block;
    font-weight: normal;
    margin: 0 10px 2px 13px;
    padding: 2px;
}
.code-sample .CodeMirror-scroll {
    background: #f5f5f5;
    border: 1px solid #DDD;
}
.code-sample .CodeMirror-linenumbers {
    background: #eee;
}
.code-sample .ctr-buttons {
    float: left;
    margin-top: 32px;
}   
.code-sample .ctr-buttons .toggle span i:before {
    margin-top: -3px;
}
.btn {
    margin-left: 20px;
    cursor: pointer;
    vertical-align: top;
    width: 100px;
    height: 40px;
    color: white;
    background: #20a8d8;
    border: 1px solid #20a8d8;
    -webkit-box-shadow: inset 0 0 1px 1px rgba(255, 255, 255, 0.35), 0 2px 1px -1px rgba(0, 0, 0, 0.2);
    -moz-box-shadow: inset 0 0 1px 1px rgba(255, 255, 255, 0.35), 0 2px 1px -1px rgba(0, 0, 0, 0.2);
    box-shadow: inset 0 0 1px 1px rgba(255, 255, 255, 0.35), 0 2px 1px -1px rgba(0, 0, 0, 0.2);
    border-radius: 10px;
}
.btn-icon {
    display: inline-block;
    float: left;
    background: #20a8d8;
    border: 1px solid lightgray;
    color: black;
    line-height: 20px;
    vertical-align: middle;
    background: none;
    cursor: pointer;
}
.btn-icon img {
    max-width: 30px;
    vertical-align: middle;
}

#stats {
    height: 220px;
    margin: 20px;
}
#stats label {
    font-weight: bold;
    margin-right: 10px;
}
.stats-tokens {
    list-style-type: none;
    height: 150px;
    overflow: scroll;
    margin: 0;
    padding: 10px 0;
}
.stats-tokens li {
    float: left;
    margin-left: 10px;
    padding: 2px 5px;
    cursor: pointer;
}
.stats-tokens li span {
    font-family: monospace;
    font-weight: bold;
}
.stats-tokens li:hover {
    background-color: #77c63d;
    color: white;
    border-radius: 5px;
}

.syntax-token {
    background-color: #77c63d;
    border-radius: 2px;
    color: white;
}

.CodeMirror {
    background: #fafafa;
    width: 50%;
    display: block;
    float: left;
    margin: 20px;
}

/* Paper */

.joint-paper-scroller {
    width: 100%;
    height: 100%;
}
.joint-element {
    cursor: pointer;
}
.joint-element path {
    vector-effect: none;
}

/* Tooltip */

@keyframes tooltip-fadein {
    from { opacity: 0; }
    to   { opacity: 1; }
}
@-webkit-keyframes tooltip-fadein {
    from { opacity: 0; }
    to   { opacity: 1; }
}
@-moz-keyframes tooltip-fadein {
    from { opacity: 0; }
    to   { opacity: 1; }
}
@-ms-keyframes tooltip-fadein {
    from { opacity: 0; }
    to   { opacity: 1; }
}
.joint-tooltip.joint-theme-default.rendered {
    -webkit-animation: tooltip-fadein 1s;
    -webkit-animation-delay: 200ms;
    -moz-animation: tooltip-fadein 1s;
    -moz-animation-delay: 200ms;
    -ms-animation: tooltip-fadein 1s;
    -ms-animation-delay: 200ms;
    -webkit-animation-fill-mode: forwards;
    -moz-animation-fill-mode: forwards;
    -ms-animation-fill-mode: forwards;
}
.joint-tooltip.joint-theme-default {
    background-color: #f5f5f5;
    border: 2px solid #ddd;
    color: #000;
    padding: 10px;
    font-size: 14px;
    max-width: 300px;
    text-shadow: none;
    word-wrap: break-word;
    opacity: 0;
}
.joint-tooltip.joint-theme-default.left .tooltip-arrow {
    border-right-color: #ddd;
}
.joint-tooltip.joint-theme-default.left .tooltip-arrow-mask {
    border-right-color: #f5f5f5;
}
.joint-tooltip b {
    display: block;
    margin-bottom: 5px;
    text-decoration: underline;
}