JAL-3032 fine tuning appearance of button
[jalview.git] / README-BH.txt