/* 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.my-clue
  {
  float:            left;
  width:            130px;
  height:           20px;
  }

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;
  }

div#my-div
  {
  color:            white;
  background-color: green;
  width:            480px;
  height:           300px;
  border-style:     double;
  }

/* pre */

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


/* input */

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

input[type="button"], input[type="checkbox"]
  {
  width:            10px;
  height:           10px;
  margin-left:      40px;
  }

input[type="radio"]
  {
  width:            15px;
  }


input#change-input, input#change-input2
  {
  margin:           10px 10px 10px 120px;
  }

input#result
  {
  margin:           100px 10px 10px 120px;
  background-color: blue;
  border:           3px double red;
  color:            white;
  }

