rglab.css : a tiny fix to keep the header bar height consistent