changed padding in gui.js