89dd868e82
Floating windows already had their own border style, but the width was the same for all windows. The configuration directives 'new_window' and 'new_float' can now be used simultaneously to have different border widths for floating and tiled windows. fixes #1244