address PR feedback and tweak side nav styling
MODIFY
src/components/docs/menu-section.svelte
src/components/docs/menu-section.svelte
<style>
.menu-item {
+ display: inline-block;
@apply px-6;
font-size: var(--p-large);
}
}
</style>
-<li class:isActiveSection class="menu-item">
+<li>
+ <div class:isActiveSection class="menu-item">
<MenuLink href={menuItem.path} class="text-h6">{menuItem.title}</MenuLink>
{#if menuItem.subMenu && isActiveSection}
<ul class="submenu">
{/each}
</ul>
{/if}
+ </div>
</li>

MODIFY
src/routes/docs/index.md
src/routes/docs/index.md
----
-section: ""
----
-
# Introduction to Gitpod
[Gitpod](https://www.gitpod.io) is an open source platform for automated and **ready-to-code development environments** that blends into your existing workflow. It enables developers to describe their dev environment as code and **start instant and fresh development environments for each new task** directly from your browser.

MODIFY
src/routes/docs/life-of-workspace.md
src/routes/docs/life-of-workspace.md
@@ -4,7 +4,7 @@ section: workspaces
# Life of a Workspace
-- [Timeouts](docs/life-of-workspace/#timeouts)
+- [Timeouts](#timeouts)
- [Garbage Collection](#garbage-collection)
- [Changes Are Saved](#changes-are-saved)
@@ -12,7 +12,7 @@ Gitpod makes creating fresh workspaces as easy as [clicking a button on a GitHub
Gitpod's continuous dev environments encourages you to create fresh workspaces rather than restarting older ones.
This ensures that you are starting from a clean slate with proper configuration.
-## <a id="timeouts">Timeouts</a>
+## Timeouts
Any running workspace will automatically stop after some time of inactivity. Normally, this timeout is 30 minutes but is extended to **60 minutes if you have the _Unlimited_ plan**.
Furthermore, _Unlimited_ users can manually boost the timeout of a workspace to 180 minutes. This comes in handy, e.g. in case you want to go out for a longer lunch or meeting and don't like restarting your workspace when coming back.

address PR feedback and tweak side nav styling