style: add primary color variables and backdrop filter

julioest · julioest · commit 0e7be47310cd · 2025-09-08T22:22:07.000-04:00
diff --git a/docs/website/styles.css b/docs/website/styles.css
@@ -26,6 +26,8 @@
     --transition: 0.2s ease-in-out;
     --function-name-color: rgba(229, 190, 51, 1);
     --function-name-color-hover: #0091ea;
+    --primary-color:rgba(16, 149, 193, 1);
+    --primary-color-hover:rgba(6, 125, 166, 1);
 }
 
 @media (min-width: 576px) {
@@ -3124,6 +3126,7 @@ header .header-image {
     color: #fff;
     border-color: rgba(255, 255, 255, 0.8);
     box-shadow: 6px 6px 0 rgba(0, 0, 0, 0.4);
+    backdrop-filter: blur(10px);
 }
 
 .header-cta a.contrast.outline:hover {

Original file line number	Diff line number	Diff line change
`@@ -26,6 +26,8 @@`
`26`	`26`	`--transition: 0.2s ease-in-out;`
`27`	`27`	`--function-name-color: rgba(229, 190, 51, 1);`
`28`	`28`	`--function-name-color-hover: #0091ea;`
	`29`	`+ --primary-color:rgba(16, 149, 193, 1);`
	`30`	`+ --primary-color-hover:rgba(6, 125, 166, 1);`
`29`	`31`	`}`
`30`	`32`
`31`	`33`	`@media (min-width: 576px) {`
`@@ -3124,6 +3126,7 @@ header .header-image {`
`3124`	`3126`	`color: #fff;`
`3125`	`3127`	`border-color: rgba(255, 255, 255, 0.8);`
`3126`	`3128`	`box-shadow: 6px 6px 0 rgba(0, 0, 0, 0.4);`
	`3129`	`+ backdrop-filter: blur(10px);`
`3127`	`3130`	`}`
`3128`	`3131`
`3129`	`3132`	`.header-cta a.contrast.outline:hover {`