diff --git a/docs/ant15_todo.html b/docs/ant15_todo.html index 995a6b86a..7a7cf8b77 100644 --- a/docs/ant15_todo.html +++ b/docs/ant15_todo.html @@ -54,7 +54,7 @@
-
+ diff --git a/docs/antnews.html b/docs/antnews.html index 57e15aa1b..5a1fc512d 100644 --- a/docs/antnews.html +++ b/docs/antnews.html @@ -58,7 +58,7 @@
Home
-
+ diff --git a/docs/bindownload.html b/docs/bindownload.html index 314d74a95..26ac1fcd5 100644 --- a/docs/bindownload.html +++ b/docs/bindownload.html @@ -52,7 +52,7 @@
Home
-
+ diff --git a/docs/contributors.html b/docs/contributors.html index 2f853a8ab..44f2cc17b 100644 --- a/docs/contributors.html +++ b/docs/contributors.html @@ -52,7 +52,7 @@
Home
-
+ diff --git a/docs/cvs.html b/docs/cvs.html index f06a333a6..cc91a1143 100644 --- a/docs/cvs.html +++ b/docs/cvs.html @@ -52,7 +52,7 @@
Home
-
+ diff --git a/docs/external.html b/docs/external.html index 979bfa35f..3c5ecd639 100644 --- a/docs/external.html +++ b/docs/external.html @@ -54,7 +54,7 @@
Home
-
+ diff --git a/docs/faq.html b/docs/faq.html index dd9def5a9..67868761c 100644 --- a/docs/faq.html +++ b/docs/faq.html @@ -54,7 +54,7 @@
Home
-
+ diff --git a/docs/guidelines.html b/docs/guidelines.html index 84a6a1faf..af8ee9d0e 100644 --- a/docs/guidelines.html +++ b/docs/guidelines.html @@ -52,7 +52,7 @@
Home
-
+ diff --git a/docs/index.html b/docs/index.html index 467704678..4bcbaf0b9 100644 --- a/docs/index.html +++ b/docs/index.html @@ -56,7 +56,7 @@
Home
-
+ diff --git a/docs/legal.html b/docs/legal.html index 24625f7e5..93349c2b8 100644 --- a/docs/legal.html +++ b/docs/legal.html @@ -54,7 +54,7 @@
Home
-
+ diff --git a/docs/license.html b/docs/license.html index e8076c73e..0f904d697 100644 --- a/docs/license.html +++ b/docs/license.html @@ -52,7 +52,7 @@
Home
-
+ diff --git a/docs/mail.html b/docs/mail.html index 8c438cf46..e1e75753b 100644 --- a/docs/mail.html +++ b/docs/mail.html @@ -52,7 +52,7 @@
Home
-
+ diff --git a/docs/mission.html b/docs/mission.html index 54a47b3a2..b9612af6a 100644 --- a/docs/mission.html +++ b/docs/mission.html @@ -52,7 +52,7 @@
Home
-
+ diff --git a/docs/problems.html b/docs/problems.html index 524eea907..cdeaf6a57 100644 --- a/docs/problems.html +++ b/docs/problems.html @@ -54,7 +54,7 @@
Home
-
+ diff --git a/docs/projects.html b/docs/projects.html index eb5c1eb01..77ef0970b 100644 --- a/docs/projects.html +++ b/docs/projects.html @@ -54,7 +54,7 @@
Home
- - - - -
+ diff --git a/docs/projects/antidote/design.html b/docs/projects/antidote/design.html index 3ac3ff31c..67bb25a25 100644 --- a/docs/projects/antidote/design.html +++ b/docs/projects/antidote/design.html @@ -63,7 +63,7 @@
Home
+ diff --git a/docs/projects/antidote/index.html b/docs/projects/antidote/index.html index da6c5d4f8..e99926fcd 100644 --- a/docs/projects/antidote/index.html +++ b/docs/projects/antidote/index.html @@ -61,7 +61,7 @@
Projects
+ diff --git a/docs/projects/antidote/module.html b/docs/projects/antidote/module.html index 4b9e063bc..878138ca9 100644 --- a/docs/projects/antidote/module.html +++ b/docs/projects/antidote/module.html @@ -63,7 +63,7 @@
Projects
+ diff --git a/docs/projects/index.html b/docs/projects/index.html index 27773ae8d..7538e835e 100644 --- a/docs/projects/index.html +++ b/docs/projects/index.html @@ -61,7 +61,7 @@
Projects
+ diff --git a/docs/resources.html b/docs/resources.html index 84e0ee7ea..2ca966716 100644 --- a/docs/resources.html +++ b/docs/resources.html @@ -54,7 +54,7 @@
Projects
-
+ diff --git a/docs/srcdownload.html b/docs/srcdownload.html index 83741dd2c..91d678073 100644 --- a/docs/srcdownload.html +++ b/docs/srcdownload.html @@ -52,7 +52,7 @@
Home
-
+ diff --git a/xdocs/stylesheets/templates.vm b/xdocs/stylesheets/templates.vm index e8d47b630..2ccf100f8 100644 --- a/xdocs/stylesheets/templates.vm +++ b/xdocs/stylesheets/templates.vm @@ -162,7 +162,7 @@ #set ($name = $tab.getAttributeValue("name")) #set ($link = $tab.getAttributeValue("href")) #if ( ($currentIndex && $currentIndex.trim().equals( $index )) || ((!$currentIndex) && $velocityCount == 1) ) -
Home + @@ -180,7 +180,7 @@ #end #end #else -
$name +
Home