by Tomasz Woźniczka.
I'm glad that you like it
You're looking in right place.
Just add
echo '<div style="clear:both"></div>';
after
echo $OUTPUT->box_start('generalbox categorybox');
print_whole_category_list(NULL, NULL, NULL, -1, false);