refactor: Media queries (#2680)

This commit is contained in:
Jed Fox 2020-12-27 16:27:25 -05:00 committed by GitHub
parent 6f82a88b79
commit b8d13c98b5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
11 changed files with 21 additions and 17 deletions

View file

@ -142,6 +142,7 @@
user-select: none;
}
// shrink shape icons on small viewports to make them fit
@media (max-width: 425px) {
.Shape .ToolIcon__icon {
width: 2rem;
@ -153,6 +154,8 @@
}
}
// move the lock button out of the way on small viewports
// it begins to collide with the GitHub icon before we switch to mobile mode
@media (max-width: 760px) {
.ToolIcon.ToolIcon__lock {
display: inline-block;
@ -162,6 +165,7 @@
margin-left: 0;
border-radius: 20px 0 0 20px;
z-index: 1;
background-color: var(--button-gray-1);
@ -189,7 +193,7 @@
margin-left: 5px;
margin-top: 1px;
@media #{$media-query} {
@media #{$is-mobile-query} {
display: none;
}
}