body {
    background-color: #ddd; /* Background color */
    color: #222; /* Foreground color used for text */
    font-family: Helvetica;
    font-size: 20px;
    margin: 0; /* Amount of negative space around the outside of the body */
    padding: 0; /* Amount of negative space around the inside of the body */
}


.params input {
  float: right;
  font-size: 20px;
  padding: 1px;
  margin: 0px;
  }

.radio {
  float: right;
  font-size: 20px;
  padding: 1px;
  margin: 10px;
  }


.params label {
  float: right;
  font-size: 20px;
  padding: 1px;
  margin: -5px 5px;
  }

/*
input[type="number"]{
   -moz-box-sizing:    border-box;
   -webkit-box-sizing: border-box;
    box-sizing:        border-box;
}
*/

.ina {
  width:80px;
  }

input {
  font-size: 20px;
  }

.header h1 {
    margin: 0;
    padding: 0;
    background-color: #ccc;
    border-bottom: 1px solid #666;
    color: #222;
    display: block;
    font-size: 20px;
    font-weight: bold;
    padding: 4px 0;
    text-align: center;
    text-decoration: none;
    text-shadow: 0px 1px 0px #fff;
    background-image: -webkit-gradient(linear, left top, left bottom, from(#ccc), to(#999));

}

.header ul {
    list-style: none;
    margin: 6px;
    padding: 0;
}


.header li  {
    background-color: #FFFFFF;
    border: 1px solid #999999;
    color: #222222;
    display: block;
    font-size: 20px;
    font-weight: bold;
    margin-bottom: -1px;
    xpadding: 12px 10px;
    padding: 9px 10px 9px 10px;
    text-decoration: none;
}

.header  li:first-child {
    -webkit-border-top-left-radius: 8px;
    -webkit-border-top-right-radius: 8px;
}
.header li:last-child {
    -webkit-border-bottom-left-radius: 8px;
    -webkit-border-bottom-right-radius: 8px;
}
.header ul.hide {
    display: none;
}

.header div.leftButton {
    position: absolute;
    top: 7px;
    left: 6px;
    height: 30px;
    font-weight: bold;
    text-align: center;
    color: white;
    text-shadow: rgba(0,0,0,0.6) 0px -1px 0px;
    line-height: 28px;
    border-width: 0 8px 0 8px;
    -webkit-border-image: url(images/button.png) 0 8 0 8;
}
.header div.pressed {
    -webkit-border-image: url(images/button_clicked.png) 0 8 0 8;
}

.content {
    padding: 10px;
}

table, td {
    font-size: 20px;
    padding: 1px 10px;
}

#results {
    display: none;
}

#set {
  visibility: hidden;
}

.footer {
    display: none;
}