Add setup "reliefbuttons" attribute to #nav-bar (#1)
Improve shutdown() function