[arch-general] Window manager with resolution independent decorations?

[Felix E. Klee]

For example, I want to specify that the title bar should be 5mm tall.