/* Page structure */

body {
  margin: 0;
  color: black;
  background-color: white;
  font: normal normal 17px/25px sans-serif;
}

.container {
  max-width: 920px;
  margin: auto;
  padding: 0;
}

.hide {
  display: none;
}

pre {
    /*
  font-family: Monaco, Menlo, Consolas, monospace;
  font-size: 15 px;
  line-height: 1.4em;
  margin: 1em 0px;
  */
  white-space: pre !important;
  margin-top: 0;
  padding-top: 0;
  display: table;
  margin-left: auto;
  margin-right: auto;
}

canvas#ifs {
    /* width: 100%; */
    width: 600px;
    height: 600px;
    border: 1px solid grey;
    display: table;
    margin-left: auto;
    margin-right: auto;
}

textarea#values {
    display: block;
    margin-left: auto;
    margin-right: auto;
    resize: both;
}

#options {
    padding: 2px 6px;
    background-color: #DDDDDD;
}

div#message {
  font-size: 71%;
  text-align: center;
}