.responsive_button {margin-bottom:1em}
.correct_button {margin:1em}
.integer {width:auto;}
