#hot-air-balloon{
  width:60%;
}

.brush_headers{
  background-repeat: no-repeat;
  background-size: 100px 30px;
  background-position: center;
  color:white;
}

#Objective{
  background-image:url('brush_blue.png');
}

#Tutorial{
  background-image: url('brush_green.png');
}

#Inputs{
  background-image: url('brush_yellow.png');
}

.inputsHistoryButtons{
  height:20px;
  border: 2px solid #4CAF50;
  background: none;
  color:green;
  font-size: 14px;
}

button{
  border: none;
  background-repeat: no-repeat;
  background-size: 100px 30px;
  background-position: center;
  color:white;
  height:40px;
}

#AddLine{
  background: url('add_line.png') ;
  width:120px;
}

#RemoveLine{
  background: url('remove_line.png') no-repeat;
  width:150px;
}

#DistributeComparators{
  background: url('distribute_comparators.png') no-repeat;
  width:200px;
}

#Verify{
  background: url('verify.png') no-repeat;
  width:100px;
}

#Run{
  background: url('run.png') no-repeat;
  width:100px;
}

p{
  text-align: center;
  margin-top:0px;
  margin: 20px;
  font-size: 15px;
}

input::-webkit-outer-spin-button,
input::-webkit-inner-spin-button {
    -webkit-appearance: none;
}

input[type=number]{
  width:36px;
  float: right;
  clear: both;
  margin-bottom:24px;
  -moz-appearance:textfield;
  font-size: 13px;
  text-align: center;
}

@-moz-document url-prefix() {
  input[type=number]{
  margin-bottom:29px;
}
}

#footer {
    position: fixed;
    height: 40px;
    background-color: white;
    bottom: 10px;
    left: 0px;
    right: 0px;
    margin-bottom: 0px;
}

.footer_buttons_panel{
  text-align: center;
}