change size of rasmus top border / WordPress Theme Support Forums