Issue #195: better panel divider styling