Created the function gui.misc.add_border() for adding borders to generic GUI elements.
The analysis tabs now use this method for their borders.
Authored by: bugman 2011-06-14
Parent: [r12982]
Child: [r12984]