diff --git a/getting-started.html b/getting-started.html
index a904b1d..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 df15761..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 7435843..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 d75464e..09c7449 100644
--- a/navigation.html
+++ b/navigation.html
@@ -7,7 +7,7 @@
|
Getting started
|
- Documentation
+ Documentation
|
IDE Extensions
|