.jumbotron
{
  background-color:#F6F1ED;
}
th, td
{
  -font-size:0.9em;
}
input.double,.double
{
  -ms-transform:scale(1.5);
  -moz-transform:scale(1.5);
  -webkit-transform:scale(1.5);
  -o-transform:scale(1.5);
}
.green
{
  color:green;
}
.red
{
  color:red;
}
.blue
{
  color:blue;
}