html, body {
  
  margin-bottom: 80px;
  padding: 0;
}



#title {font-family: Georgia, serif;
  text-align: left;
  margin-bottom: 10px;
  margin-top: 30px;
  padding: 2px;
  color: rgb(177, 15, 15);

}

#discrip {

  padding: 2px;
  margin-bottom: 10px;
  margin-left: 20px;
  width: 80%;
  text-align: left;
  font-size: 18px;

}

#js {
  margin-left: 40px;
  margin-top: 10px;
  margin-bottom: 10px;
  padding: 0;
float:left;
}

#inst {
  margin-left: 10px;
  margin-right: 300px;
  margin-top: 10px;
  margin-bottom: 10px;
  padding: 0;
float:right;
font-size: 15px;
}

#ref{
  margin-top: 10px;
  float:left;
  width: 100%;
}

hr.dashed {
  border-top: 3px solid rgba(187, 187, 187, 0.884);
  width:80%;
  float: left;
  margin-bottom: 5px;
}

.footer {
  position: fixed;
  left: 0;
  bottom: 0;
  width: 100%;
  background-color: rgb(22, 22, 21);
  color: rgb(255, 255, 255);
  text-align: center;
  margin-top: 30px;

}

.source{
  margin-bottom: 70px;
}

h3, h4 {color: rgb(177, 15, 15);}