change padding in gui.js