.center {
  padding-left: 0;
  padding-right: 0;
  margin-left: auto;
  margin-right: auto;
  display: block;
}

table {
  padding: 0;
}

table tr {
  border-top: 1px solid #cccccc;
  background-color: white;
  margin: 0;
  padding: 0;
}

table tr:nth-child(2n) {
  background-color: #f8f8f8;
}

table tr th {
  font-weight: bold;
  border: 1px solid #cccccc;
  text-align: left;
  margin: 0;
  padding: 6px 13px;
}

table tr td {
  border: 1px solid #cccccc;
  text-align: left;
  margin: 0;
  padding: 6px 13px;
}

table tr th :first-child,
table tr td :first-child {
  margin-top: 0;
}

table tr th :last-child,
table tr td :last-child {
  margin-bottom: 0;
}

.diagram2d {
  width: 50%;
}
@media (max-width: 575px) {
  .diagram2d {
    width: 75%;
  }
}

.diagram2d_double {
  width: 75%;
}
@media (max-width: 575px) {
  .diagram2d_double {
    width: 100%;
  }
}

.labeltable {
  width: 80%;
}
@media (max-width: 575px) {
  .labeltable {
    width: 100%;
  }
}
.labeltable {
  padding-left: 0;
  padding-right: 0;
  margin-left: auto;
  margin-right: auto;
}
.labeltable tr,
.labeltable td {
  background-color: #ffffff;
  border: none;
  padding: 0;
}

pre.editor {
  overflow-x: auto;
}

pre.real_editor {
  white-space: pre-wrap;
  white-space: -moz-pre-wrap;
  white-space: -pre-wrap;
  white-space: -o-pre-wrap;
  word-wrap: break-word;
  text-wrap: nowrap;
}

.asdfasdf {
  max-width: 400px;
}
@media (max-width: 400px) {
  .asdfasdf {
    max-width: 350px;
  }
}

.asdfasdf2 {
  max-width: 430px;
}
@media (max-width: 400px) {
  .asdfasdf2 {
    max-width: 380px;
  }
}

.darker {
  background-color: #fcfcfe !important;
}

#symbolic-output {
  font-size: 14px !important;
}

.editor {
  border-radius: 4px;
  box-shadow: 1px 1px 1px 1px rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2);
  font-family: "Fira Code", "Courier", monospace;
  font-size: 14px;
  font-weight: 400;
  letter-spacing: normal;
  line-height: 20px;
  padding: 15px;
  tab-size: 4;
  background: #fcfcfc;
}

.codetable {
  width: 100%;
  padding-left: 0;
  padding-right: 0;
  margin-left: auto;
  margin-right: auto;
}
.codetable tr,
.codetable td {
  vertical-align: top;
  background-color: #ffffff;
  border: none;
  padding: 0;
}
@media (max-width: 700px) {
  .codetable td {
    display: table-row;
  }
  .codetable button {
    margin-bottom: 10px;
  }
}
.codetable button {
  margin-top: 10px;
}

.diagram_canvas {
  width: 100%;
  padding: 0;
  margin: 0;
  height: auto;
  border-radius: 4px;
  box-shadow: 1px 1px 1px 1px rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2);
}

.diagram2d_wider_on_mobile {
  width: 50%;
}
@media (max-width: 575px) {
  .diagram2d_wider_on_mobile {
    width: 100%;
  }
}

.diagram2d_wider_on_mobile_kinda {
  width: 55%;
}
@media (max-width: 650px) {
  .diagram2d_wider_on_mobile_kinda {
    width: 65%;
  }
}

.imagetable {
  padding: 0;
  margin-left: auto;
  margin-right: auto;
  word-wrap: break-word;
}
.imagetable canvas {
  box-shadow: 2px 2px #888;
}
.imagetable tr,
.imagetable td {
  background-color: #ffffff;
  border: none;
}
.imagetable td {
  display: inline-block;
  text-align: center;
}

.slider {
  -webkit-appearance: none;
  height: 15px;
  border-radius: 5px;
  background: #d3d3d3;
  outline: none;
  opacity: 0.7;
  display: block;
  padding-left: 0;
  padding-right: 0;
  margin-left: auto;
  margin-right: auto;
  -webkit-transition: 0.2s;
  transition: opacity 0.2s;
}

.slider::-webkit-slider-thumb {
  -webkit-appearance: none;
  appearance: none;
  width: 25px;
  height: 25px;
  border-radius: 50%;
  background: #04AA6D;
  cursor: pointer;
}

.slider::-moz-range-thumb {
  width: 25px;
  height: 25px;
  border-radius: 50%;
  background: #04AA6D;
  cursor: pointer;
}

.highlight {
  margin: 0;
  padding: 0;
  border: 0;
  border-radius: 4px !important;
  margin: 20px 0 20px 0;
  box-shadow: 1px 1px 1px 1px rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2);
}

pre[class*=language-] {
  background-color: #fcfcfc !important;
  margin: 0 !important;
  padding: 15px !important;
}

@media (min-width: 675px) {
  .hide_wide {
    display: none;
  }
}

@media (max-width: 675px) {
  .hide_narrow {
    display: none;
  }
}