/* This is for styling the menus of the viewsource window */