brad/pghrt
1
0
Fork 0
mirror of https://github.com/Juicysteak117/pghrt.git synced 2025-12-21 07:25:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

mobile buttons. if they look bad on your device, get a new phone

Browse Source
This commit is contained in:
Juicysteak117
2025-10-16 22:40:47 -07:00
parent a801db7594
commit d9ebeee4a1
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
export/pghrtcss.css
View File

@@ -32,6 +32,7 @@
--font-i: 'crmi';
--font-b: 'crmb';
--font-bi: 'crmbi';
--mobile-button: min(5vh, 80px);
}
[data-theme="dark"] {
@@ -242,11 +243,13 @@ ol[class="ltx_toclist ltx_toclist_section"]{
@media screen AND (max-width:1000px) {
.ltx_TOC { width: 0; visibility: hidden; top: 5vh; border-right: none; }
#menu { display: block; width: 100%; padding: 0; border-radius: 0; border-top: none; border-left: none; border-right: none;}
#menu { display: block; width: 100%; padding: 0; border-radius: 0; border-top: none; border-left: none; border-right: none; background: var(--toc-bg);color: var(--font); border-bottom: 2px solid var(--toc-hover);}
.header { display: block; position: sticky; width: 100%; top: 0; padding: 0;}
.ltx_page_main { margin: 0px; width: 90% !important;}
.ltx_eqn_table {width: 90% !important;}
#theme-toggle, #font-toggle {height: var(--mobile-button); width: var(--mobile-button); font-size: 30px; border-right: none; min-width: 45px; }
#theme-toggle { top: 5vh; border-top: none;}
#font-toggle {top: calc(2 * var(--mobile-button)); }
.ltx_tocentry.ltx_tocentry_section > .ltx_ref:after { margin-right: 20px; }
}