@import '@mantine/core/styles.css'; .mantine-AppShell-main { overflow: auto !important; height: calc(100vh - 2.5rem) !important; position: relative !important; top: 2.5rem !important; margin-top: 0 !important; padding-top: 1rem !important; padding-bottom: 0 !important; min-height: calc(100vh - 2.5rem) !important; } .mantine-AppShell-root { --app-shell-header-offset: 2.5rem; --app-shell-navbar-offset: 0rem; --app-shell-aside-offset: 0rem; --app-shell-footer-offset: 0rem; } /* TODO: something (mantine?) is setting this sometimes to "none" on the terminal tab */ body { user-select: auto !important; } /* Custom scrollbars */ ::-webkit-scrollbar { width: 0.5rem; height: 0.5rem; } ::-webkit-scrollbar-track { background: transparent; border-radius: 0.25rem; } ::-webkit-scrollbar-thumb { background: rgba(134, 142, 150, 0.5); border-radius: 0.25rem; transition: all 0.2s ease; } ::-webkit-scrollbar-thumb:hover { background: rgba(134, 142, 150, 0.8); } ::-webkit-scrollbar-thumb:active { background: rgba(73, 80, 87, 0.9); } /* Dark mode scrollbar support */ @media (prefers-color-scheme: dark) { ::-webkit-scrollbar-thumb { background: rgba(173, 181, 189, 0.5); } ::-webkit-scrollbar-thumb:hover { background: rgba(173, 181, 189, 0.8); } ::-webkit-scrollbar-thumb:active { background: rgba(206, 212, 218, 0.9); } } /* TitleBar gerbil icon animations */ @keyframes elephantShake { 0%, 100% { transform: scale(1.1) rotate(5deg) translateX(0); } 10% { transform: scale(1.2) rotate(-3deg) translateX(-2px); } 20% { transform: scale(1.3) rotate(8deg) translateX(2px); } 30% { transform: scale(1.2) rotate(-5deg) translateX(-1px); } 40% { transform: scale(1.4) rotate(10deg) translateX(3px); } 50% { transform: scale(1.2) rotate(-8deg) translateX(-2px); } 60% { transform: scale(1.3) rotate(6deg) translateX(1px); } 70% { transform: scale(1) rotate(-4deg) translateX(-1px); } 80% { transform: scale(1.2) rotate(3deg) translateX(2px); } 90% { transform: scale(1) rotate(-2deg) translateX(-1px); } } @keyframes mouseSqueak { 0% { transform: scale(1) rotate(0deg); } 50% { transform: scale(1.15) rotate(2deg); } 100% { transform: scale(1) rotate(0deg); } } .mantine-Tooltip-tooltip { background-color: var(--mantine-color-dark-6) !important; color: var(--mantine-color-white) !important; } .mantine-Tooltip-arrow { background-color: var(--mantine-color-dark-6) !important; }