diff --git a/app/src/GlobalStyles.tsx b/app/src/GlobalStyles.tsx index 5c85473c1b..535c86d544 100644 --- a/app/src/GlobalStyles.tsx +++ b/app/src/GlobalStyles.tsx @@ -27,6 +27,30 @@ export function GlobalStyles() { margin-block-start: 0; } + /* this css class is added to html via modernizr @see modernizr.js */ + .no-hiddenscroll { + /* Works on Firefox */ + * { + scrollbar-width: thin; + scrollbar-color: ${theme.colors.gray300} ${theme.colors.gray500}; + } + + /* Works on Chrome, Edge, and Safari */ + *::-webkit-scrollbar { + width: 14px; + } + + *::-webkit-scrollbar-track { + background: ${theme.colors.gray700}; + } + + *::-webkit-scrollbar-thumb { + background-color: ${theme.colors.gray900}; + border-radius: 8px; + border: 1px solid ${theme.colors.gray300}; + } + } + :root { --px-blue-color: ${theme.colors.arizeBlue}; --px-light-blue-color: ${theme.colors.arizeLightBlue}; diff --git a/app/static/index.html b/app/static/index.html index 875a5af4cf..1fc8d42b4f 100644 --- a/app/static/index.html +++ b/app/static/index.html @@ -12,6 +12,7 @@ rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Roboto:wght@100;300;400;500;700;900&display=swap" /> +
diff --git a/app/static/modernizr.js b/app/static/modernizr.js new file mode 100644 index 0000000000..32815494de --- /dev/null +++ b/app/static/modernizr.js @@ -0,0 +1,5 @@ +/* eslint-disable */ +/* prettier-ignore */ +/*! modernizr 3.6.0 (Custom Build) | MIT * + * https://modernizr.com/download/?-hiddenscroll-setclasses !*/ +!function(e,n,t){function o(e,n){return typeof e===n}function s(){var e,n,t,s,a,i,r;for(var l in d)if(d.hasOwnProperty(l)){if(e=[],n=d[l],n.name&&(e.push(n.name.toLowerCase()),n.options&&n.options.aliases&&n.options.aliases.length))for(t=0;t