From d7858b44db8829b533e8002d2af24eb3851d83d0 Mon Sep 17 00:00:00 2001 From: Sander Spies Date: Mon, 30 Sep 2019 19:43:18 +0200 Subject: [PATCH] More fixes --- gitlab-pages/docs/language-basics/types.md | 4 ++-- gitlab-pages/website/static/css/custom.css | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/gitlab-pages/docs/language-basics/types.md b/gitlab-pages/docs/language-basics/types.md index 5dc56aaec..957b6b6c8 100644 --- a/gitlab-pages/docs/language-basics/types.md +++ b/gitlab-pages/docs/language-basics/types.md @@ -26,7 +26,7 @@ const dogBreed: animalBreed = "Saluki"; ### Simple types -```Pascal +```pascaligo // accountBalances is a simple type, a map of address <-> tez type accountBalances is map(address, tez); @@ -46,7 +46,7 @@ In the example below you can see definition of data types for a ledger, that kee -```Pascal +```pascaligo // alias two types type account is address; type numberOfTransactions is nat; diff --git a/gitlab-pages/website/static/css/custom.css b/gitlab-pages/website/static/css/custom.css index 40f577ed6..b9342db76 100644 --- a/gitlab-pages/website/static/css/custom.css +++ b/gitlab-pages/website/static/css/custom.css @@ -648,7 +648,7 @@ body color: #3AA0FF; } - .tab-pane { + .home-container .tab-pane { height: 500px; }