body {
  font-size: 120%;
  font-family: Arial, Helvetica, sans-serif;
  padding:  20px;
}

#demo {
  padding: 1em;
  background: yellow;
  width: 20em;
  border-radius: 1em;
}

Button {
  padding: 1em;
  font-size: 130%;
  background: lightgreen;
  border-radius: 0.3em;
}

#dis {
  background: yellow;
  padding: 1em;
  border-radius: 20px;
  width: 8em;
}

#map {
  padding: 1em;
}

#insert {
  margin-bottom: 0px;
  Margin-left:  150px;
  padding-top: 20px;
}

#article {
  padding: 10% 10% 0 0;
}