html {
    width:100%;
    height: 100%;
}

body {
    padding: 0;
    margin-bottom: 0;
    width:100%;
    height:100%;
    overflow:hidden;
}

textarea {
    resize: none;
    outline: none;
}

pre {
    border: none;
    background: none;
    padding: 0;
    margin: 0;
}

#body-wrapper {
    width: 100%;
    height: 100%;
    display: -webkit-flex;
    display: flex;
    -webkit-flex-flow: column nowrap;
    flex-flow: column nowrap;
}

#wrapper-row {
    -webkit-flex: 1;
    flex: 1;
    display: -webkit-flex;
    display: flex;
    min-height:0;
}

.jumbotron {
    padding-top: 0px;
    padding-bottom: 0px;
    margin-bottom: 0px;
}

#backdrop {
    background-position: center 30%;
}

.column {
    -webkit-flex: 1;
    flex: 1;
    display: -webkit-flex;
    display: flex;
    min-height:0;
    -webkit-flex-flow: column nowrap;
    flex-flow: column nowrap;
    overflow-x: auto;
}

.scroll-area {
    min-height: 0;
    -webkit-flex: 1;
    flex: 1;
    overflow: auto;
}

#tutorial{
    padding: 20px;
}

.splitter {
    -webkit-flex-shrink: 0;
    flex-shrink: 0;
    z-index: 2;
    width: 6px;
    text-align: center;
    background: darkslategray;
    -webkit-transition: background 0.2s;
    -moz-transition: background 0.2s;
    -ms-transition: background 0.2s;
    -o-transition: background 0.2s;
    transition: background 0.2s;
}

/*.splitter:hover {
    background: slategrey;
    cursor: col-resize;
}*/

.tab-area {
    box-shadow: 0px -2px 0px #136a8a inset;
    margin:0;
    padding:0;
    -webkit-flex-shrink: 0;
    flex-shrink: 0;
    background: #136a8a;
    background: -webkit-linear-gradient(top, #136a8a 10%, #267871 90%);
    background:    -moz-linear-gradient(top, #136a8a 10%, #267871 90%);
    background:     -ms-linear-gradient(top, #136a8a 10%, #267871 90%);
    background:      -o-linear-gradient(top, #136a8a 10%, #267871 90%);
    background:         linear-gradient(top, #136a8a 10%, #267871 90%);
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#ff136a8a', endColorstr='#ff267871',GradientType=0 ); /* IE6-9 */
}

.tab-area ul {
    display: block;
	list-style: none;
	padding:0;
	margin:0;
}

.tab-area li {
    margin: 0;
    padding: 0;
}

.tab {
    display: block;
    float: left;
    text-decoration: none;
    background: rgba(255,255,255,0.5);
    padding: 5px 20px;
    margin-top: 5px;
    margin-right: 5px;
    margin-left: 0px;
    margin-bottom: 0px;
    -webkit-transition: background 0.2s;
    -moz-transition: background 0.2s;
    -ms-transition: background 0.2s;
    -o-transition: background 0.2s;
    transition: background 0.2s;
    box-shadow: 0px -2px 0px #136a8a inset;
    color: black;
}

.tab:visited {
    text-decoration: none;
}

.tab:hover {
    background: rgba(255,255,255,0.75);
    text-decoration: none;
}

.tab:focus {
    text-decoration: none;
}

.tab:active {
    text-decoration: none;
}

.active-tab {
    box-shadow: 0px 0px 0px #ffffff inset;
    background: white;
}

.active-tab:hover {
    background: white;
}

.button-area {
    /*border-top: 1px solid #ddd;*/
    border-top: 1px solid #ddd;
    -webkit-flex-shrink: 0;
    flex-shrink: 0;
    display: inline-block;
    float: left;
    width: 100%;
    padding-right: 2px;
    margin-top: 0;
    background: #f7f7f7;
    /*background: -webkit-linear-gradient(top, #136a8a 10%, #267871 90%);
    background:    -moz-linear-gradient(top, #136a8a 10%, #267871 90%);
    background:     -ms-linear-gradient(top, #136a8a 10%, #267871 90%);
    background:      -o-linear-gradient(top, #136a8a 10%, #267871 90%);
    background:         linear-gradient(top, #136a8a 10%, #267871 90%);
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#ff136a8a', endColorstr='#ff267871',GradientType=0 ); /* IE6-9 */
    z-index: 1;
}

.button {
    box-shadow: 0px 0px 0px rgba(0,210,252,0.50);
    border: 1px solid #ddd;
    display: block;
    float: right;
    padding-top: 2px;
    padding-bottom: 2px;
    padding-left: 10px;
    padding-right: 10px;
    margin-top: 2px;
    margin-bottom: 2px;
    margin-left: 2px;
    border-radius: 2px;
    color: black;
    cursor: pointer;
    background: rgba(255, 255, 255, 0.75);
}

.button:hover {
    -webkit-transition: all 0.2s;
    -moz-transition: all 0.2s;
    -ms-transition: all 0.2s;
    -o-transition: all 0.2s;
    transition: all 0.2s;
    box-shadow: 0px 0px 4px rgba(0,210,252,0.50);
}

.button-label {
    font-size: small;
    padding-left: 4px;
    padding-right: 4px;
}

.glyphicon {
    padding-left: 4px;
    font-size: smaller;
    padding-right: 4px;
}

#editor-area {
    display: -webkit-flex;
    display: flex;
    -webkit-flex: 2;
    flex: 2;
    overflow: auto;
    margin-bottom: 0;
}

.code-area {
    border: none;
    padding: 4px;
    padding-left: 34px;
    margin: 0px;
    box-shadow: 30px 0px 0px #f7f7f7 inset;
}

#code-editor {
    overflow-y: auto;
}

#terminal {
    border-top: 1px solid #ddd;
    padding: 10px;
    background: #212a2f;
    color: #6b8898;
    font-family: monospace;
}

.example {
    overflow: auto;
    white-space: nowrap;
    border-top: 1px solid #ddd;
    border-bottom: 1px solid #ddd;
    display: -webkit-flex;
    disply: flex;
    min-width: 0;
    -webkit-flex-flow: column nowrap;
    flex-flow: column nowrap;
    margin: 20px -20px 20px -20px;
}

.code-part {
    min-width: 0;
}

.no-wrapping {
    min-width: 0;
}

#terminal-content {
    border: none;
    border-radius: 0;
    background: none;
    color: #6b8898;
}

#examples {
    padding-top: 20px;
    padding-left: 20px;
    padding-right: 20px;
    padding-bottom: 40px;
}

#examples ul {
    list-style: none;
    margin-left: -20px;
    margin-right: -20px;
    padding-left: 0;
}

#tutorial img {
    width: 100%; /* you can use % */
    height: auto;
}

.example-link {
    float: left;
    width: 100%;
    display: block;
    padding-top: 10px;
    padding-bottom: 10px;
    padding-left: 20px;
    color: #337ab7;
}

.example-link:hover {
    background-color: #eef6ff;
    text-decoration: none;
    color: #23527c;
    cursor: pointer;
}

/*
     FILE ARCHIVED ON 03:08:27 Mar 08, 2022 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 18:27:09 Apr 13, 2026.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  capture_cache.get: 71.274
  load_resource: 570.528
  PetaboxLoader3.resolve: 500.699
  PetaboxLoader3.datanode: 55.902 (2)
  loaddict: 34.533
*/