chore: gutter scroll

risc0 · Apr 8, 2024 · e869f12 · e869f12
1 parent 7942c3a
commit e869f12
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 2 deletions.
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@risc0/ui",
-  "version": "0.0.46",
+  "version": "0.0.47",
   "sideEffects": false,
   "type": "module",
   "scripts": {

diff --git a/styles/globals.css b/styles/globals.css
@@ -90,6 +90,21 @@
   }
 }
 
+html {
+  /* prevent layout shifts when the scrollbar appears */
+  scrollbar-gutter: stable;
+}
+
+body[style] {
+  margin: 0 auto !important;
+}
+
+body[data-scroll-locked] {
+  overflow: hidden;
+  position: fixed;
+  width: 100%;
+}
+
 /* Custom rules */
 iframe {
   /* for google login button having a white background otherwise */
@@ -98,7 +113,7 @@ iframe {
 
 .lucide {
   /* bigger stroke for ALL icons */
-  stroke-width: 2.25px;
+  stroke-width: 1.75px !important;
 }
 
 /* NProgress (top progress bar on page load) */