diff options
Diffstat (limited to 'doc/common/styles/html/coqremote/styles.hva')
-rw-r--r-- | doc/common/styles/html/coqremote/styles.hva | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/common/styles/html/coqremote/styles.hva b/doc/common/styles/html/coqremote/styles.hva index af9cbcfb6..60984f1dc 100644 --- a/doc/common/styles/html/coqremote/styles.hva +++ b/doc/common/styles/html/coqremote/styles.hva @@ -12,6 +12,7 @@ <style type="text/css" media="all">@import "http://coq.inria.fr/sites/all/themes/coq/style.css";</style> <style type="text/css" media="all">@import "http://coq.inria.fr/sites/all/themes/coq/coqdoc.css";</style> +<style type="text/css" media="all">@import "http://coq.inria.fr/sites/all/themes/coq/hevea.css";</style> \end{rawhtml}} % for HeVeA @@ -57,7 +58,7 @@ <ul class="menu"> -<li class="leaf"><a href="cover.html">Cover</a></li> +<li class="leaf"><a href="index.html">Cover</a></li> <li class="leaf"><a href="toc.html">Table of contents</a></li> <li class="leaf">Index <ul class="menu"> |