Fix CSS file permissions for deployment

harshach · harshach · commit 9c8590429d5d · 2025-11-22T23:24:41.000-08:00
diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
@@ -513,3 +513,4 @@ img:hover {
   margin: 0.2rem 0 !important;
 }
 
+
