Make border width adjustable.

fixes #5