Make navbar float

22anirudhk · 22anirudhk · commit 5529959dd224 · 2026-01-21T00:19:57.000-08:00
diff --git a/_sass/custom/course_overrides.scss b/_sass/custom/course_overrides.scss
@@ -115,6 +115,7 @@
   background-color: #1f4ba5 !important;
   color: #fff !important;
   line-height: 1.2;
+  font-size: 1.05rem;
   text-decoration: none;
   transition: background-color 0.15s ease, color 0.15s ease;
   background-image: none;
@@ -146,3 +147,12 @@
   box-shadow: none;
   filter: none;
 }
+
+// Keep the top bar visible while scrolling.
+.main-header {
+  position: sticky;
+  top: 0;
+  z-index: 1000;
+  background-color: $white;
+  box-shadow: 0 1px 0 rgba(31, 75, 165, 0.2);
+}
diff --git a/_sass/custom/custom.scss b/_sass/custom/custom.scss
@@ -54,10 +54,12 @@ div.highlighter-rouge div.highlight {
 
 .btn-ed {
   @include btn-color($white, #9400D3);
+  font-size: 1.05rem;
 }
 
 .btn-gradescope {
   @include btn-color($white, #228B22);
+  font-size: 1.05rem;
 }
 
 .btn-youtube {
@@ -75,4 +77,3 @@ div.highlighter-rouge div.highlight {
 .btn-drive {
   @include btn-color($white, #1e3a8a);
 }
-

Original file line number	Diff line number	Diff line change
`@@ -54,10 +54,12 @@ div.highlighter-rouge div.highlight {`
`54`	`54`
`55`	`55`	`.btn-ed {`
`56`	`56`	`@include btn-color($white, #9400D3);`
	`57`	`+ font-size: 1.05rem;`
`57`	`58`	`}`
`58`	`59`
`59`	`60`	`.btn-gradescope {`
`60`	`61`	`@include btn-color($white, #228B22);`
	`62`	`+ font-size: 1.05rem;`
`61`	`63`	`}`
`62`	`64`
`63`	`65`	`.btn-youtube {`
`@@ -75,4 +77,3 @@ div.highlighter-rouge div.highlight {`
`75`	`77`	`.btn-drive {`
`76`	`78`	`@include btn-color($white, #1e3a8a);`
`77`	`79`	`}`
`78`		`-`