/* Stylesheet, te gebruiken in een HTML pagina */
body {
   background-color: ivory;
  font-family: arial, sans-serif, times, serif, courier, garamond ;
  font-size: 20px;
}

/* Applies to all <h1>...</h1> elements. */
h1 {
  font-size: 35px;
  font-weight: normal;
  margin-top: 5px;
}

h2 {
  font-size: 30px;
  font-weight: normal;
  margin-top: 5px;
}

h3 {
  font-size: 25px;
  font-weight: normal;
  margin-top: 5px;
}

/* Define the button size */
.button{
  height:25px;
  width:200px;
}

/* EXAMPLE Applies to all elements with <... class="someclass"> specified. */
.someclass { color: red; }

/* EXAMPLE Applies to the element with <... id="someid"> specified. */
#someid { color: green; }