diff --git a/.gitattributes b/.gitattributes
index 6105c25..2997552 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -1,4 +1,3 @@
 *.lagda.md linguist-language=Agda
 *.lagda.md linguist-detectable=true
-
-*.css linguist-detectable=false
+agda/Agda.css linguist-vendored