html {
  box-sizing: border-box; }

*, *::after, *::before {
  box-sizing: inherit; }

/*.container {
  @include clearfix;
  background: $medium-gray;
  min-width: 900px;
  max-width: 1090px;
  height: 600px;
  margin: 0 auto;
  padding: 20px;
  overflow: hidden;
  box-sizing: border-box;
  border: solid $dark-gray 1px;
  @include border-radius(10px);

  .control-panel {
    background: $light-gray;
    width: 40%;
    height: 560px;
    float: left;
    padding: 20px;
    overflow: hidden;
    box-sizing: border-box;
    border: solid $medium-blue 1px;
    @include border-radius(10px);
  }

  .jxgboxold {
    background: $white;
    width: 58%;
    height: 560px;
    float: right;
    overflow: hidden;
    vertical-align: top;
    box-sizing: border-box;
    border: solid $medium-blue 1px;
    @include border-radius(10px);
  }

  input, label, button, .error-message, .regular-text, .mathjax-output, .ui-tabs .ui-tabs-nav li a {
    font: {
      family: $sans-serif;
      weight: $font-regular;
      size: 14px;
    }
  }

  .error-message {
    color: red;
    display: none;
  }

  #function-tabs {
    height: 375px;
    overflow: hidden;
  }

  span.regular-text {
    margin-right: 10px;
  }

  input {
    box-sizing: border-box;
    padding: 2px;
  }

  input.regular-text {
    width: 60px;
  }

  input.wide-text {
    width: 100%;
  }

  .mathjax-output {
    padding-left: 2px;
  }

  .line {
    width: 100%;
    float: left;
    display: inline-block;
    box-sizing: border-box;
  }

  .full-line {
    @extend .line;
    margin-top: 20px;
  }

  .half-line {
    @extend .line;
    margin-top: 10px;
  }

  .quarter-line {
    @extend .line;
    margin-top: 5px;
  }

  .button {
    color: white;
    background: $light-blue;
    @include border-radius(4px);
    border: solid 1px #20538D;
    text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.4);
    box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.4), 0 1px;
    padding: 5px 10px;
    margin-right: 2px;
    @include transition-duration(0.2s);
  }

  .button:hover, #gc-container .gr-calc:focus {
    background: $dark-blue;
    border: solid 1px #2A4E77;
    text-decoration: none;
  }

  .button:active {
    box-shadow: inset 0 1px 4px rgba(0, 0, 0, 0.6);
    background: #2E5481;
    border: solid 1px #203E5F;
  }

  input[type=checkbox] {
    width: 2em;
    margin: 0;
    padding: 0;
    font-size: 1em;
    opacity: 0;
  }

  input[type=checkbox] + label {
    display: inline-block;
    margin-left: -2.5em;
    line-height: 1.5em;
    @include user-select(none);
  }

  input[type=checkbox]:focus + label {
    color: $light-blue;
  }

  input[type=checkbox]:hover + label {
    color: $light-blue;
  }

  input[type=checkbox] + label:hover {
    color: $light-blue;
  }

  input[type=checkbox]:checked + label > i.fa-square-o {
    display: none;
  }

  input[type=checkbox]:checked + label > i.fa-check-square-o {
    display: inline-block;
    letter-spacing: 0.5em;
  }

  input[type=checkbox] + label > i.fa-square-o {
    display: inline-block;
    letter-spacing: 0.65em;
  }

  input[type=checkbox] + label > i.fa-check-square-o {
    display: none;
  }
}

input.small-text {
    width: 30px;
  }
*/
.tool-header {
  width: 100%;
  min-width: 1024px;
  max-width: 1024px;
  background-color: #e0e0e0;
  box-sizing: border-box;
  overflow: hidden;
  margin: 0 auto;
  overflow: auto;
  border: solid #505050 1px;
  border-top-left-radius: 10px;
  border-top-right-radius: 10px;
  border-bottom: none; }
.tool-header .tool-title {
  float: left;
  width: 75%;
  padding: 5px;
  color: #555555;
  font-family: "Open Sans", "Verdana", "Geneva", sans-serif;
  font-weight: 700;
  font-size: 18px;
  clear: both; }
.tool-header .tool-about-link {
  float: right;
  width: 20%;
  padding: 5px; }
.tool-header .tool-about-link a {
  float: right;
  color: #1d9dd9;
  text-decoration: none;
  font-family: "Open Sans", "Verdana", "Geneva", sans-serif;
  font-weight: 700;
  font-size: 18px;
  font-style: normal;
  clear: both; }
.tool-header .tool-about-link a:hover {
  color: #70c4ec; }
.tool-header .tool-about-text {
  clear: both;
  padding: 5px;
  display: none;
  font-family: "Open Sans", "Verdana", "Geneva", sans-serif;
  font-weight: 400;
  font-size: 16px;
  font-style: normal; }
.tool-header .tool-about-text p, .tool-header .tool-about-text li {
  color: #646464; }
.tool-header .tool-about-text a {
  color: #1d9dd9;
  text-decoration: none; }
.tool-header .tool-about-text a:hover {
  color: #70c4ec; }

div.tool-container {
  max-width: 68em;
  margin-left: auto;
  margin-right: auto;
  padding: 10px 10px 10px 10px;
  background: #c8c8c8;
  width: 100%;
  min-width: 1024px;
  max-width: 1024px;
  border: solid #505050 1px;
  border-bottom-left-radius: 10px;
  border-bottom-right-radius: 10px; }
div.tool-container::after {
  clear: both;
  content: "";
  display: table; }
div.tool-container input, div.tool-container label, div.tool-container button, div.tool-container div, div.tool-container .katex-output {
  font-family: "Open Sans", "Verdana", "Geneva", sans-serif;
  font-weight: 400;
  font-size: 16px; }
div.tool-container input[type=text] {
  background-color: white;
  padding-left: 4px; }
div.tool-container .f-output {
  color: dodgerblue; }
div.tool-container .g-output {
  color: red; }
div.tool-container .line, div.tool-container .half-line, div.tool-container .single-line, div.tool-container .double-line {
  width: 100%;
  float: left;
  display: inline-block;
  box-sizing: border-box; }
div.tool-container .half-line {
  margin-top: 10px; }
div.tool-container .single-line {
  margin-top: 20px; }
div.tool-container .double-line {
  margin-top: 40px; }
div.tool-container div.control-panel {
  float: left;
  display: block;
  margin-right: 1.16509%;
  width: 40.98703%;
  padding: 10px 10px 10px 10px;
  -webkit-border-radius: 10px;
  -moz-border-radius: 10px;
  -ms-border-radius: 10px;
  border-radius: 10px;
  height: 560px;
  background: #e0e0e0;
  border: solid #356aa0 1px;
  overflow: hidden; }
div.tool-container div.control-panel:last-child {
  margin-right: 0; }
div.tool-container div.control-panel div.f-function, div.tool-container div.control-panel div.g-function {
  float: left;
  display: block;
  margin-right: 2.84259%;
  width: 17.72593%;
  padding: 5px 5px 5px 5px;
  -webkit-border-radius: 10px;
  -moz-border-radius: 10px;
  -ms-border-radius: 10px;
  border-radius: 10px; }
div.tool-container div.control-panel div.f-function:last-child, div.tool-container div.control-panel div.g-function:last-child {
  margin-right: 0; }
div.tool-container div.control-panel div.x-min, div.tool-container div.control-panel div.y-min, div.tool-container div.control-panel div.lambda, div.tool-container div.control-panel div.x-max, div.tool-container div.control-panel div.y-max {
  float: left;
  display: block;
  margin-right: 2.84259%;
  width: 38.29445%; }
div.tool-container div.control-panel div.x-min:last-child, div.tool-container div.control-panel div.y-min:last-child, div.tool-container div.control-panel div.lambda:last-child, div.tool-container div.control-panel div.x-max:last-child, div.tool-container div.control-panel div.y-max:last-child {
  margin-right: 0; }
div.tool-container div.control-panel div#f-checkbox, div.tool-container div.control-panel div#add-checkbox, div.tool-container div.control-panel div#multiply-checkbox, div.tool-container div.control-panel div#compose-checkbox, div.tool-container div.control-panel div#g-checkbox, div.tool-container div.control-panel div#substract-checkbox, div.tool-container div.control-panel div#divide-checkbox, div.tool-container div.control-panel div#inverse-checkbox {
  float: left;
  display: block;
  margin-right: 2.84259%;
  width: 38.29445%; }
div.tool-container div.control-panel div#f-checkbox:last-child, div.tool-container div.control-panel div#add-checkbox:last-child, div.tool-container div.control-panel div#multiply-checkbox:last-child, div.tool-container div.control-panel div#compose-checkbox:last-child, div.tool-container div.control-panel div#g-checkbox:last-child, div.tool-container div.control-panel div#substract-checkbox:last-child, div.tool-container div.control-panel div#divide-checkbox:last-child, div.tool-container div.control-panel div#inverse-checkbox:last-child {
  margin-right: 0; }
div.tool-container div.control-panel div.lambda-checkbox {
  float: left;
  display: block;
  margin-right: 2.84259%;
  width: 17.72593%; }
div.tool-container div.control-panel div.lambda-checkbox:last-child {
  margin-right: 0; }
div.tool-container div.control-panel input.small-text {
  width: 75px; }
div.tool-container div.graph {
  float: left;
  display: block;
  margin-right: 1.16509%;
  width: 57.84788%;
  -webkit-border-radius: 10px;
  -moz-border-radius: 10px;
  -ms-border-radius: 10px;
  border-radius: 10px;
  background: white;
  border: solid #356aa0 1px;
  height: 560px; }
div.tool-container div.graph:last-child {
  margin-right: 0; }

/*# sourceMappingURL=operations-on-functions.css.map */