- printf($brisk_header_form, '<input type="button" class="button" name="xhelp" value="Help." onclick="act_help();"><br><br><input type="button" class="button" name="xabout" value="About." onclick="act_about();"><br><br><br>',
+ printf($brisk_header_form);
+ printf("<table class=\"floaty\"><tr><td class=\"floatyleft\">\n");
+ printf($brisk_vertical_menu, '<input type="button" class="button" name="xhelp" value="Help." onclick="act_help();"><br><br><input type="button" class="button" name="xabout" value="About." onclick="act_about();"><br><br><br>',