/* 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.large-outer-div
  {
  color:            white;
  background-color: green;
  width:            520px;
  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.small
  {
  float:            left;
  width:            100px;
  height:           20px;
  padding:          0px;
  }

div.text
  {
  float:            left;
  width:            100px;
  height:           20px;
  padding:          0px;
  color:            white;
  background-color: green;
  }

/* clear all division */
div.clear
  {
  clear:            both;
  height:           1px;
  margin;           0px;
  padding:          0px;
  background-color: green;
  }

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 */

input.large-input
  {
  width:             200px;
  }

input.small-input
  {
  margin:            3px 1px 2px 0px;
  width:             18px;
  height:            12px;
  }