ui: apply mobile layout if screen width < 800px instead of < 720px

Some mobile get large screen now, and also if using a small window on desktop better adapt the visual using mobile layout
This commit is contained in:
Sebastian Castro 2020-04-29 12:51:48 +02:00 committed by muxator
parent 01c59b3b88
commit f768e32373
15 changed files with 15 additions and 15 deletions

View file

@ -114,7 +114,7 @@ body.doesWrap:not(.noprewrap) > div {
font-size: 12px; /* overridden by lineMetricsDiv.style */
font-family: monospace; /* overridden by lineMetricsDiv.style */
}
@media (max-width: 720px) {
@media (max-width: 800px) {
#sidediv {
/* Do not use display: none to hide the sidediv, otherwise the parent container does not
get its height properly calculated by flexboxes */