diff options
author | 2022-01-30 20:02:06 +0100 | |
---|---|---|
committer | 2022-01-30 20:02:06 +0100 | |
commit | bc6829b93246e2f8833b5b418d3d7bd8eadc99cf (patch) | |
tree | 054161d85869b0a64800eaf581364a0c5ad3dfd3 | |
parent | Hide the filter tags initially. (diff) |
Make the category headers smaller on mobile.
-rw-r--r-- | pydis_site/static/css/resources/resources.css | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pydis_site/static/css/resources/resources.css b/pydis_site/static/css/resources/resources.css index ebd946d9..59f8b78e 100644 --- a/pydis_site/static/css/resources/resources.css +++ b/pydis_site/static/css/resources/resources.css @@ -187,3 +187,15 @@ span.resource-tag.active.has-background-success-light { span.resource-tag.active.has-background-info-light { animation: glow_info 4s infinite alternate; } + +/* Smaller filter category headers when on mobile */ +@media screen and (max-width: 480px) { + .filter-category-header .card-header .card-header-title { + font-size: 14px; + padding: 0; + } + .filter-panel { + padding-top: 4px; + padding-bottom: 4px; + } +}
\ No newline at end of file |