#4: enable making the bar_height configurable by using it consistently and remove borders around workspace buttons