Slight improvement to our COR page.

We should prefer <link> to @import (see http://www.stevesouders.com/blog/2009/04/09/dont-use-import/).
opencor · Dec 3, 2019 · f446e6d · f446e6d
1 parent bcacc48
commit f446e6d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/doc/cor/index.html b/doc/cor/index.html
@@ -7,6 +7,7 @@
 
         <meta http-equiv="content-type" content="text/html; charset=utf-8"/>
 
+        <link href="../res/stylesheet.css" rel="stylesheet" type="text/css"/>
         <link href="res/stylesheet.css" rel="stylesheet" type="text/css"/>
     </head>
     <body ondragstart="return false;" ondrop="return false;">

diff --git 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;