Use card grid on manual index page

docs/manual/index.md

@@ -11,10 +11,9 @@ If you're new to asciinema then make sure to go through the [getting started
 guide](../getting-started.md) first, which gives a high-level overview of the
 functionality, then come back here.
 
-This manual is split into several sections, one for each component:
-
-- [CLI](cli/index.md) - terminal recorder
-- [player](player/index.md) - web player for terminal recordings
-- [server](server/index.md) - hosting platform for terminal recordings
-- [agg](agg/index.md) - GIF generator
-- [asciicast](asciicast/v2.md) - file format used by all of the above
+<div class="grid cards" markdown>
+- __[asciinema CLI](cli/index.md)__ - learn how to use full potential of asciinema CLI for recording, reviewing, and publishing your terminal sessions
+- __[asciinema player](player/index.md)__ - learn how to use asciinema's standalone web player to include a terminal recording on your own website
+- __[asciinema server](server/index.md)__ - learn how to use asciinema.org's embedding options, and how to easily self-host an asciinema server
+- __[asciinema gif generator](agg/index.md)__ - learn how to transform your terminal session recordings into attractive, animated GIF files
+</div>

mkdocs.yml

@@ -100,6 +100,7 @@ nav:
 markdown_extensions:
   - attr_list
   - admonition
+  - md_in_html
   - tables
   - toc:
       permalink: true