Remove unnecessary CSS import
authorMagnus Hagander <magnus@hagander.net>
Sat, 28 Dec 2013 16:10:13 +0000 (17:10 +0100)
committerMagnus Hagander <magnus@hagander.net>
Sat, 28 Dec 2013 16:10:13 +0000 (17:10 +0100)
docs isn't actually needed for docs large - it needs either docs or
base. And those are always loaded before docs_large anyway.

media/css/docs_large.css

index c421648501cbbe7861eafef1463d6f56216bb9d3..c218366d2e8e141613265b1ff82876277c77359d 100644 (file)
@@ -1,7 +1,5 @@
 /* PostgreSQL Documentation Style - Large Text Version */
 
-@import url("docs.css");
-
 body {
        font-size: 93%;
 }