body {
  /*background-color: #ffffff;*/
  background-color: #f5f5f5;
  /*font-family: 'Xanh Mono', monospace;*/
  font-family: 'DotGothic16', sans-serif;
  margin: 0;
  padding: 0;
}

p {
  margin: 0;
  padding: 0;
}

a:visited{color: #0000FF; text-decoration: none; background: #ffffff;}
a:active{color: #222222; text-decoration: none; background: #ffffff;}
a:hover{padding-left: 5px;color: #000000;text-decoration: none; background: transparent;}

a.port_website:hover{padding-left: 0px;text-decoration: none; background: transparent;}

.menu {
  list-style-type: none;
  margin: 0;
  padding-left: 20px;
  padding-top: 20px;
}

.header{
  position: fixed; top: 0px;
  justify-content: space-between;
  display: flex;
  padding-left: 0px;
  padding-right: 0px;
  padding-top: 20px;
  width: 100%;
}

#header_left{
  padding-left: 40px;
  font-family: 'DotGothic16', sans-serif;
  font-size: 20pt;
  line-height: 30px;
}

.menu-item {
  font-size: 16pt;
}

.div-menu{
  position: fixed; top: 0px;

  justify-content: space-between;
  display: flex;

  padding-left: 0px;
  padding-right: 0px;
  padding-top: 0px;
  width: 100%;
}

.header-right {
  padding-top: 20px;
  padding-right: 20px;
}

.note{
  position: fixed;
  bottom: 4%;
  right: 2%;
  background-color: #EFFCB6;
  border: black solid 3px;
}
/*
.outlined-paragraph {
      position: fixed;
      bottom: 0;
      right: 0;
      padding: 10px;
      font-size: 16px;
      background-color: transparent;
      color: #000;
}
*/
.outlined-paragraph {
      padding: 8px;
      font-family: 'Arial', sans-serif;
      font-size: 14pt;
      line-height: 14pt;
      letter-spacing: -1pt;
      color: #000;
}

#canvas-container {
  display: flex;
  justify-content: center;
  align-items: center;
  width: 100%;
  height: 100%;
  padding-top: 10%;
}

/*The code below was made by amygoodchild and edited by me - available at p5.org*/
.mySliders{
  background-color: transparent;
  -webkit-appearance: none;
}

.mySliders::-webkit-slider-runnable-track {
  background: #000000;
  height: 2px;
  -webkit-appearance: none;
  
  /* Turns the cursor into the hand pointer icon when hovering over the slider  */
  /* Same effect can be achieved using .style('cursor', 'pointer') in p5 */
  cursor: pointer;
  
}

.mySliders::-webkit-slider-thumb {

  width: 7px;
  height: 14px;
  stroke: white;
  stroke-width: 1px;
  background: #000000;
  cursor: pointer;
  -webkit-appearance: none;
  
  /* negative top padding moves it up */
  margin-top: -7px;

  
  /* Border radius gives rounded corners, if they're big enough, you end up with circles */
  border-radius: 0px;
  
}