diff --git a/doc/cor/index.html b/doc/cor/index.html
index dae4c3b5e6..afa6427863 100644
--- a/doc/cor/index.html
+++ b/doc/cor/index.html
@@ -7,6 +7,7 @@
+
diff --git a/doc/cor/res/stylesheet.css b/doc/cor/res/stylesheet.css
index 1613ecd632..eb537d02de 100644
--- a/doc/cor/res/stylesheet.css
+++ b/doc/cor/res/stylesheet.css
@@ -1,5 +1,3 @@
-@import "../../res/stylesheet.css";
-
div.main {
position: relative;
margin-top: -200px;