diff --git a/docs/source/_static/css/custom.css b/docs/source/_static/css/custom.css index ebf9a0e17d..db3532e97b 100644 --- a/docs/source/_static/css/custom.css +++ b/docs/source/_static/css/custom.css @@ -24,6 +24,13 @@ input { letter-spacing: 0.3px } +p.caption { + margin-top: 2em; +} +span.caption-text { + font-size: larger; +} + p { font-size: 100%; /* Get rid of RTD rule that assumes nobody changes their browser font size */ } diff --git a/docs/source/index.rst b/docs/source/index.rst index bd85109131..05499f86f9 100644 --- a/docs/source/index.rst +++ b/docs/source/index.rst @@ -30,17 +30,28 @@ We look forward to seeing what you can do with Corda! .. _`download the PDF`: _static/corda-developer-site.pdf .. toctree:: + :caption: App development :maxdepth: 1 quickstart-index.rst key-concepts.rst building-a-cordapp-index.rst - corda-nodes-index.rst - corda-networks-index.rst tutorials-index.rst tools-index.rst node-internals-index.rst component-library-index.rst - release-process-index.rst troubleshooting.rst + +.. toctree:: + :caption: Operations + :maxdepth: 2 + + corda-nodes-index.rst + corda-networks-index.rst + +.. toctree:: + :caption: Participate + :maxdepth: 2 + + release-process-index.rst other-index.rst