diff --git a/docs/extra.css b/docs/extra_a.css
similarity index 100%
rename from docs/extra.css
rename to docs/extra_a.css