Thanks for your comment! The current behaviour is definitely a shortcoming and not intended. Nothing should break the pages by stretching "div" elements. As s

Thanks for your comment! The current behaviour is definitely a shortcoming and not intended. Nothing should break the pages by stretching "div" elements. As soon as I know how to fix this, I will definitely do this. Clean pure-CSS solutions are preferred, of course, but if we need JS, we'll have to use it.