body
{
  font-family: Cambria, Verdana, Helvetica, Arial, sans-serif;
  background-color: #EEEEEE;
}

div#box
{
  background-color: #FFFFFF;
  box-shadow: 5px 5px 5px #888888;
  border: 1px solid;
  border-radius: 4px;
  width: 500px;
  margin-left: auto;
  margin-right: auto;
  padding-top: 5px;
  padding-right: 5px;
  padding-bottom: 5px;
  padding-left: 5px;
}

pre
{
  background-color: #ECECEC;
  box-shadow: 5px 5px 5px #888888;
  border: 0.25px solid;
  border-radius: 4px;
  width: auto;
  margin-left: 10px;
  margin-right: 10px;
  padding-top: 2px;
  padding-right: 10px;
  padding-bottom: 2px;
  padding-left: 10px;
}