- From: ArkadiuszMichalski via GitHub <sysbot+gh@w3.org>
- Date: Thu, 21 Jan 2021 10:07:19 +0000
- To: public-css-archive@w3.org
>Actually, I think this is the same request as #809, isn't it? I didn't notice it, it looks the same. One more extra note to be aware of. Some browsers add an extra border around the window in a situation where, for example, the main window is not maximized (eg Chrome). To make it even funnier, the top edge is wider than the bottom / left / right !!!  This causes even more complications in the positioning of the elements because we also need to analyze various size of the main window. This is done on the feel anyway, because the size of the top or bottom edge cannot be determined properly. -- GitHub Notification of comment by ArkadiuszMichalski Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/5814#issuecomment-764525278 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 21 January 2021 10:07:42 UTC