diff --git a/dev/docs/styles.html b/dev/docs/styles.html index 1565940bd1..1a9662b02a 100644 --- a/dev/docs/styles.html +++ b/dev/docs/styles.html @@ -4,12 +4,8 @@