/* div */


div
  {
  padding-top:      10px;
  padding-left:     20px;
  padding-bottom:   10px;
  color:            black;
  }

div#result
  {
  background-color: #ffcccc;
  }

div#functions
  {
  background-color: #ccffcc;
  }

div#js-code
  {
  background-color: #99ccff;
  }