/* a */
a
  {
  background-color:  white;
  }

/* body */
body.blue
  {
  background-color: blue;
  }

/* button */

button.button
  {
  position:         absolute;
  font-size:        large;
  padding:          10px;
  width:            200px;
  }

button.general
  {
  position:         absolute;
  margin-top:       200px;
  margin-left:      10px;
  background-color: #ff9999;
  }

/* div */

div
  {
  margin:           10px;
  padding-top:      10px;
  padding-left:     20px;
  padding-bottom:   10px;
  color:            black;
  background-color: white;
  height:           60px;
  width:            180px;
  }

div.outer-div
  {
  color:            white;
  background-color: green;
  width:            480px;
  height:           300px;
  }

div.input-label
  {
  position:         absolute;
  width:            60px;
  height:           25px;
  background-color: #66ff66;
  }

div.result-label
  {
  position:         absolute;
  margin-top:       100px;
  padding-left:     15px;
  padding-right:    5px;
  width:            60px;
  height:           25px;
  background-color: #66ff66;
  }


div#functions
  {
  margin-top:       50px;
  position:         absolute;
  width:            100%;
  height:           1380px;
  }

/* img */
img#cleo
  {
  margin-top:       98px;
  margin-left:      72px;
  }

/* pre */

pre, span#pre_intro
  {
  background-color: #ddff99;
  }


/* input */