whisk_tutorial/static/css/tutorial-style.less

@informationblue: #61CAE0;
@activeOrange: #FFC476;
@tutorialTopHeight: 60px;
@greySuperLight: #E7E7E7;
@topBarHeight: 70px;
@dockBlue: #008BB8;
@hoverBlue: #70DCF2;
@currentGreen: #9ED782;


.debug {
  border: 2px red dotted;
  background: rgb(54, 25, 25); /* Fall-back for browsers that don't support rgba */
  background: rgba(54, 25, 25, .5);
  box-sizing: border-box;
}

/*
  Styles largely duplicates from the docker website
*/

.tutorial {
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  font-size: 14px;
  line-height: 20px;
  color: white;

  a {
    color: #5DD4FA;
  }

  h1, h2, h3, h4, h5, h6 {
    margin: 10px 0;
    font-family: inherit;
    font-weight: normal;
    line-height: 20px;
    color: #FFFFFF;
    text-rendering: optimizelegibility;
  }

  h1, h2, h3 {
    line-height: 40px;
  }

  img {
    max-width: 100%;
    width: auto\9;
    height: auto;
    vertical-align: middle;
    border: 0;
    -ms-interpolation-mode: bicubic;
  }

  select, textarea, input[type="text"], input[type="password"], input[type="datetime"], input[type="datetime-local"], input[type="date"], input[type="month"], input[type="time"], input[type="week"], input[type="number"], input[type="email"], input[type="url"], input[type="search"], input[type="tel"], input[type="color"], .uneditable-input {
    display: inline-block;
    height: 20px;
    padding: 4px 6px;
    margin-bottom: 10px;
    font-size: 14px;
    line-height: 20px;
    color: #555555;
    -webkit-border-radius: 4px;
    -moz-border-radius: 4px;
    border-radius: 4px;
    vertical-align: middle;
  }

  button, input, select, textarea {
    margin: 0;
    font-size: 100%;
    vertical-align: middle;
  }

  label, input, button, select, textarea {
    font-size: 14px;
    font-weight: normal;
    line-height: 20px;
  }

  code, pre {
    padding: 0 3px 2px;
    font-family: Monaco, Menlo, Consolas, "Courier New", monospace;
    font-size: 12px;
    color: #333333;
    -webkit-border-radius: 3px;
    -moz-border-radius: 3px;
    border-radius: 3px;
  }

  code {
    padding: 2px 4px;
    color: #646061;
    background-color: #f7f7f9;
    border: 1px solid #e1e1e8;
    white-space: nowrap;
  }

}

/*
  New (non dupe) styles
*/


.tutorial {
  p {
    margin-top: 0px;
    margin-bottom: 5px;
    font-weight: 200;
    line-height: 1.3em;
  }

  h1, h2, h3, h4{
    margin-top: 5px;
    margin-bottom: 7px;
    color: white;
  }

  h3 {
    font-size: 24px;
  }

  h4 {
    color: @informationblue;
  //  margin-bottom: 5px;
  }
}


#command .box{
//  .debug;
  border: 1px grey solid;
  border-radius: 5px;
  padding: 15px;
  box-sizing: border-box;
  color: #a9a9a9;
  font-style: italic;
//  style="width: 100%; height: 100%"
}

#commandShownText {
    color: darkslategray !important;
    font-style: normal !important;
}

#tipShownText {
    color: whitesmoke !important;
    font-style: normal !important;
}

#command .hidden, #tips .hidden {
  display: none;
  visibility: hidden;
  height: 1px; width: 1px;
}


#resulttext {
  border-radius: 5px;
  box-sizing: border-box;
  color: #106e34;
  font-weight: bold;
}



#feedback {
  font-size: 0.4em;
  border: 1px #444444 solid;
  background-color: black;
  position: absolute;
  right: 0;
  bottom: 0px;
  margin-bottom: 5px;

  input {
    margin: 5px;
    border-radius: 0px;
    position: relative;
    width: 400px;
    background-color: #dcdcdc;
  }
  button {
    margin: 5px 5px 5px 0;
    height: 30px;
  }
}


#actions button {
  width: 45%;
}

.hidden {
  display: none;
  visibility: hidden;
  height: 1px;
  width: 1px;
}


/* styles for when it is not fullsize */


//#overlay .hide-when-full {
//  display: none;
//}


#overlay {
  position: relative;
  width: 100%;

  &.startsize {
    border: 3px solid #7fafc1;
    height: 300px;
    padding: 15px;
    display: none;
  }

  &.fullsize {
    position: absolute;
    top: 0;
    right: 0;
    bottom: 0;
    left: 0;
    width: auto;
    height: auto;

    // here we set a background color for the overlay, so the elements below don't shine through
    background-color: white;
    z-index: 1982;
  }
}


#tutorialTop {

  display: none;

  position: absolute;
  height: @topBarHeight;
  left: 0;
  right: 0;
  width: 100%;
  background-color: rgb(38, 52, 63);

  img {
    margin-bottom: 11px;
    display: inline-block;
  }

  #title {
    font-weight: 100;

    #advancedTag {
      display: none;
        font-style: italic;
        color: aquamarine;
        margin-left: 10px;
    }
  }

  #titleLogo {
    padding: 2px;
    height: 64px;
    width: 64px;
    margin-right: 10px;
  }

  h1, h2, h3 {
    display: inline-block;
    color: white;
    margin-top: 0px;
    margin-bottom: 0px;
  }

  h1 {
    font-size: 22px;
//    font-size: 2.2rem;
    color: white;
    font-weight: normal;
    margin-top: 20px;
  }
}



#main {
  position: absolute;
  top: 0;
  right: 0;
  bottom: 0;
  left: 0;

  &.fullsize {
//    margin-top: 0px;
//    top: @topBarHeight;
  }

}

#leftside {
  &.fullsize {
    box-sizing: border-box;
    width: 35%;
    position: absolute;
    display: block;
    top: 0;
    right: 0;
    bottom: 0;
    left: 0;
    background-color: #3B4B54;

    margin-top: @topBarHeight;
    overflow-y: scroll;
//    .debug;
  }

}

#rightside {
  margin-top: @topBarHeight;
}


#instructions, #results, #actions, #tips, #command {
  padding: 5px 10px 0 10px;
  .text, .assignment, .tiptext {
    margin-left: 60px;
  }
  .text {
    font-size: 16px;
  }
}

#assignHead {
  color: rgb(100, 100, 100);
  h3 {
    color: rgb(100, 100, 100);
  }
}


#instructions {
  circle { fill: @activeOrange; }
}

#results {
  position: absolute;
  z-index: 20;
  background-color: @greySuperLight;
  width: 400px;
//  min-height: 130px;
  padding: 10px;
  position:absolute;
  box-sizing: border-box;
  right:0;
  top: 0;
  margin-top: @topBarHeight + 30px;

  circle { fill: rgb(171, 218, 110); }

  &.intermediate {
    circle { fill: @informationblue }
  }

  button {
    position: relative;
    float: right;
    margin-top: 10px;
  }
}

#instructions {
//  .debug;
  .assignment {
    margin-top: 20px;
    border: 2px darkgrey solid;
    padding: 15px;
    padding-top: 5px;
    background-color: white;
  }
}

.circle {
  position: relative;
  float: left;
  font-size: 18px;
  margin-top: 15px;
}

#terminal {
  box-sizing: border-box;
  position: absolute;
  display: block;
  top: 0;
  right: 0;
  bottom: 0;
  left: 35%;

  &.smallsize {
    margin: 10px;
//    padding-bottom: 10px;
    margin-bottom: 65px;
  }

  &.fullsize {
    margin: 0;
    margin-right: 15px;
    margin-top: @topBarHeight;
    padding-bottom: 0px;
    margin-bottom: 65px;
  }
}

#terminal-extenstion {
  box-sizing: border-box;
  position: absolute;
  display: block;
  top: 0;
  right: 0;
  bottom: 0;
  left: 35%;

  background-color: black;
  margin-bottom: 0px;

  &.smallsize {
    margin: 10px;
  }

  &.fullsize {
    margin: 0;
    margin-top: @topBarHeight;
  }

}

#terminal a {
  color: #AAA;
  text-decoration: none;
  font-weight: normal;
}


#starttext {
  width: 200px;
  margin: 10px;
  color: black;
}

.hide-when-small {
  display: none;
}

.hide-when-full {
//  display: none;
}

.docker-btn {
  border: none;
  color: white;

}

.docker-btn-large {
  font-size: 22px;
  padding: 10px 15px 10px 15px;
}

.docker-btn-blue {

  .docker-btn;

  background: @dockBlue; /* Old browsers */
  background: -moz-linear-gradient(top,  @dockBlue 0%, #00617f 100%); /* FF3.6+ */
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,@dockBlue), color-stop(100%,#00617f)); /* Chrome,Safari4+ */
  background: -webkit-linear-gradient(top,  @dockBlue 0%,#00617f 100%); /* Chrome10+,Safari5.1+ */
  background: -o-linear-gradient(top,  @dockBlue 0%,#00617f 100%); /* Opera 11.10+ */
  background: -ms-linear-gradient(top,  @dockBlue 0%,#00617f 100%); /* IE10+ */
  background: linear-gradient(to bottom,  @dockBlue 0%,#00617f 100%); /* W3C */
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='@dockBlue', endColorstr='#00617f',GradientType=0 ); /* IE6-9 */
}

.docker-btn-blue:enabled:active {

  .docker-btn;

  background: #00617f; /* Old browsers */
  background: -moz-linear-gradient(top,  #00617f 0%, @dockBlue 100%); /* FF3.6+ */
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#00617f), color-stop(100%,@dockBlue)); /* Chrome,Safari4+ */
  background: -webkit-linear-gradient(top,  #00617f 0%,@dockBlue 100%); /* Chrome10+,Safari5.1+ */
  background: -o-linear-gradient(top,  #00617f 0%,@dockBlue 100%); /* Opera 11.10+ */
  background: -ms-linear-gradient(top,  #00617f 0%,@dockBlue 100%); /* IE10+ */
  background: linear-gradient(to bottom,  #00617f 0%,@dockBlue 100%); /* W3C */
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#00617f', endColorstr='@dockBlue',GradientType=0 ); /* IE6-9 */

}

.docker-btn-blue:disabled {
  color: white;

  background: #4f727c; /* Old browsers */
  background: -moz-linear-gradient(top, #4f727c 0%, #89acb7 100%); /* FF3.6+ */
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#4f727c), color-stop(100%,#89acb7)); /* Chrome,Safari4+ */
  background: -webkit-linear-gradient(top, #4f727c 0%,#89acb7 100%); /* Chrome10+,Safari5.1+ */
  background: -o-linear-gradient(top, #4f727c 0%,#89acb7 100%); /* Opera 11.10+ */
  background: -ms-linear-gradient(top, #4f727c 0%,#89acb7 100%); /* IE10+ */
  background: linear-gradient(to bottom, #4f727c 0%,#89acb7 100%); /* W3C */
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#4f727c', endColorstr='#89acb7',GradientType=0 ); /* IE6-9 */
}

#tutorialTop .closeButton {
  position: relative;
  float: right;
  margin: 6px;
  width: 18px;
  height: 18px;
}

#progress-indicator {
  margin-top: 20px;
  margin-right: 20px;
  float: right;
//  .debug;
//  width: 100px;
//  height: 100px;
  cursor: hand;
}


#marker-ADV { font-size: small; }
#marker-ADV circle { fill: #D76565; }

.progress-marker {

  position:relative;
  float: left;
  margin-right: 5px;
  cursor: hand;
//  top:5;
//  left:5;
//  z-index:1;
//  .debug;
  svg {
    width:30px;
    height:30px;
    cursor: pointer;
  }

  circle { fill: #eaeaea; }

  text { fill: black; }

  &.complete {
    circle { fill: @currentGreen; }
  }

  &:hover {
    circle { fill: @hoverBlue; }
  }

  &:active {
    circle { fill: @activeOrange; }
  }

  &.active {
    circle { fill: @activeOrange; }
  }
}

.complete {
  img {
    height: 45px;
    width: 45px;
    margin-top: 10px;
    margin-right: 10px;
  }

  ol {
    li {
      margin-bottom: 10px;
      font-weight: bold;
    }
  }
}