* {
    font-family: monospace;
    font-size: 16px;
    padding: 10px 20px;
}
.hid {
    display: none;
}
#stl_cont{
    height: 500px;
    width: 500px;
}
.r{
    color:darkmagenta;
    font-weight: bold;
}
.g {
    color:green;
}
.ww {
 background-color: beige;
    border-bottom:1px darkolivegreen; } 
html{ 
    overflow:scroll;
    background-color: #bfdb9e; 
}
/* body{ 
    position:fixed;
    top: 500px;
    overflow:scroll;
    background-color: slategrey; 
} */
.lil-gui {
    --width:100vw;
    --name-width: 12px;
    /* --font-size: 14px;
    --input-font-size: 14px; */
    --font-family: mono;
}
textarea{
    padding: 5px 20px;
    background-color: ivory;
    width: 90vw;
    height: 6vh;
}
.inl{
    display: inline;
}
.fix{
    position: fixed;
    left: 0;
    top: 3px;
    overflow: scroll;
    z-index: 3;
}
.frm {
    position: fixed;
    left: 30px;
    font-size: 12px;
    top: 50vh;
    /* bottom: 30px; */
    z-index: 38;
    overflow: scroll;
}


input {
    padding: 1px 2px;
    margin: 1px 0px;
    width:fit-content;
}

.inpf {
    width: fit-content;
}

#inn {
    height: 100%;
    width: 100%;
  }
progress {display:inline; width:10%;}
.number{
    font-size: 23px;
    color: #222;
}
.element {
    width: 120px;
    height: 160px;
    box-shadow: 0px 0px 12px rgba(0,255,255,0.5);
    border: 1px solid rgba(127,255,255,0.25);
    font-family: Helvetica, sans-serif;
    text-align: center;
    line-height: normal;
    cursor: default;
}

* {
    margin: 0px;
    padding: 0px;
  }
  /* a:any-link {
    background-color: olive;
    color:  #222;
  } 

  button {
    background-color: olive;
    color:  #222;
  }  */
  .dropbtn {
    background-color: olive;
    color: white;
    border: none;
    margin: 4px;
    top: 0px ;
    padding: 4px;
    float: left;
    z-index: 11;
  }
  .btn {
    background-color: olive;
    color: white;
    border: none;
    margin: 4px;
    top: 0px ;
    padding: 4px;
    display: block;
    z-index: 11;
  }
  footer {
    margin-top: 600px;
  }
  /* The container <div> - needed to position the dropdown content */
  .dropdown {
      top: 0px;
    display: inline-block;
    z-index: 1;
  }
  
  /* Change color of dropdown links on hover */
  .dropdown-content a:hover {background-color: #ddd;}
  
  /* Show the dropdown menu on hover */
  .dropdown:hover .dropdown-content {display: block;}
  
  /* Change the background color of the dropdown button when the dropdown content is shown */
  .dropdown:hover .dropbtn {background-color: #3e8e41;}
  
   /* Handle 125% and 150% Windows 10 Font Scaling on 96dpi monitors */
   
   @media screen and (min-resolution: 180dpi) {
    * {
         color: #222;
         font-size: 20px;
        
}

   }