input {
  margin: 2px;
}
input:invalid {
  border:solid red;
}
span[id^="warning"]{
  color: red;
}
input[type="file"] {
  display: none;
}
input[type="number"]{
  width: 5em;
}
textarea {
  width: 99%;
}
.button {
  background-color: lightgray;
  border: 1px solid gray;
  border-radius: 3px;
  display: inline-block;
  padding: 3px 12px;
  cursor: pointer;
  font-size: inherit;
  font-family: inherit;
}
.button:hover {
  background-color: lightsteelblue;
  border: 1px solid blue;
}
body {
  height: 100%;
  //display: grid;
  //grid-template-columns: 1fr 1fr;
}
svg {
  min-width: 600px;
  width: 100%;
  height: 100%;
}
div {
  padding: 2px;
}
#graf {
  z-index: 11;
  min-width: 600px;
  width: 100%;
  height: 100%;
  border: 1px solid #999;
  position: absolute;
}
#settings {
  z-index: 55;
  float: right;
  border-radius: 3px;
  position: relative;
  background: lightblue;
  opacity: 1;
}
#prog_name {
  float: left;
}
#hide_button {
  float: right;
}