diff options
| author | 2022-01-30 20:02:06 +0100 | |
|---|---|---|
| committer | 2022-01-30 20:02:06 +0100 | |
| commit | bc6829b93246e2f8833b5b418d3d7bd8eadc99cf (patch) | |
| tree | 054161d85869b0a64800eaf581364a0c5ad3dfd3 /pydis_site | |
| parent | Hide the filter tags initially. (diff) | |
Make the category headers smaller on mobile.
Diffstat (limited to 'pydis_site')
| -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 | 
