diff --git a/getting-started.html b/getting-started.html
index c3d852f..1c0e0f7 100644
--- a/getting-started.html
+++ b/getting-started.html
@@ -91,7 +91,7 @@
|
Getting started
|
- Documentation
+ Documentation
|
IDE Extensions
|
diff --git a/ide-extensions/index.html b/ide-extensions/index.html
index 9fa76c1..1278b1b 100644
--- a/ide-extensions/index.html
+++ b/ide-extensions/index.html
@@ -29,7 +29,7 @@
|
Getting started
|
- Documentation
+ Documentation
|
IDE Extensions
|
diff --git a/index.html b/index.html
index 5f12095..4815143 100644
--- a/index.html
+++ b/index.html
@@ -29,7 +29,7 @@
|
Getting started
|
- Documentation
+ Documentation
|
IDE Extensions
|
diff --git a/navigation.html b/navigation.html
index 261bf2b..09c7449 100644
--- a/navigation.html
+++ b/navigation.html
@@ -7,7 +7,7 @@
|
Getting started
|
- Documentation
+ Documentation
|
IDE Extensions
|