From 929399c03709013d88dbc78cb85053ea95be7744 Mon Sep 17 00:00:00 2001 From: Adrian Price-Whelan Date: Tue, 4 Jun 2019 13:19:49 -0400 Subject: [PATCH] add more margin to documentation card --- tutorials/themes/tutorials-theme/navbar.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tutorials/themes/tutorials-theme/navbar.html b/tutorials/themes/tutorials-theme/navbar.html index ef54276e9..6fe2257f8 100644 --- a/tutorials/themes/tutorials-theme/navbar.html +++ b/tutorials/themes/tutorials-theme/navbar.html @@ -26,7 +26,7 @@

-

Documentation

+

Documentation

Documentation is the complete description of a package with all requisite details, including usage, dependencies, and examples.