/* div */

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

div#result-div
  {
  position:         absolute;
  left:             250px;
  }

div#mouse-div
  {
  background-color: #ccffcc;
  border:           3px solid green;
  clear:            left;
  float:            left;
  margin-top:       100px;
  }

div#button-div
  {
  background-color: #ccffcc;
  border:           3px solid green;
  margin-top:       15px;
  position:         absolute;
  margin-left:      500px;
  margin-top:       100px;
  }

div#focus-div
  {
  background-color: #ccffcc;
  border:           3px solid green;
  clear:            left;
  float:            left;
  margin-top:       20px;
  }

div#change-div
  {
  background-color: #ccffcc;
  border:           3px solid green;
  margin-top:       125px;
  position:         absolute;
  margin-left:      500px;
  margin-top:       210px;
  }

div#functions
  {
  background-color: #ddff99;
  margin-top:       340px;
  position:         absolute;
  width:            100%;
  height:           1290px;
  }

/* input */

input#result
  {
  background-color: #ffcccc;
  border:           3px double red;
  color:            black;
  font-size:        large;
  padding:          10px;
  text-align:       center;
  }

input#change-input, input#select-input
  {
  width:            200px;
  }

/* button */
button
  {
  height:           30px;
  width:            100px;
  }