From 6a85e5d42203478e1cc6d5d332dbd032be46e6c3 Mon Sep 17 00:00:00 2001 From: Matej Sima Date: Mon, 10 Jun 2019 20:15:14 +0200 Subject: [PATCH] Add cameligo sample, minor menu css fixes, added discord link --- gitlab-pages/website/core/Footer.js | 6 ++++ gitlab-pages/website/pages/en/index.js | 11 +++--- gitlab-pages/website/pages/en/versions.js | 2 +- gitlab-pages/website/static/css/custom.css | 40 +++++++++++++++------- 4 files changed, 41 insertions(+), 18 deletions(-) diff --git a/gitlab-pages/website/core/Footer.js b/gitlab-pages/website/core/Footer.js index f0a61f7e2..0ed63ce47 100644 --- a/gitlab-pages/website/core/Footer.js +++ b/gitlab-pages/website/core/Footer.js @@ -46,6 +46,12 @@ class Footer extends React.Component { rel="noreferrer noopener"> Tezos Stack Exchange + + Discord +
More
diff --git a/gitlab-pages/website/pages/en/index.js b/gitlab-pages/website/pages/en/index.js index ef82722fa..c37adc495 100644 --- a/gitlab-pages/website/pages/en/index.js +++ b/gitlab-pages/website/pages/en/index.js @@ -30,7 +30,8 @@ class HomeSplash extends React.Component {
Pascaligo
-
Camligo (coming soon)
+
Cameligo
Reasonligo (coming soon)
{/*
Camligo
*/} @@ -45,9 +46,11 @@ class HomeSplash extends React.Component {
- - SOON - +
+                    
+                    type storage = int 

(* variant defining pseudo multi-entrypoint actions *)

type action =
| Increment of int
| Decrement of int

let add (a: int) (b: int) : int = a + b

let subtract (a: int) (b: int) : int = a - b

(* real entrypoint that re-routes the flow based on the action provided *)

let%entry main (p : action) storage =
let storage =
match p with
| Increment n -> add storage n
| Decrement n -> subtract storage n
in (([] : operation list), storage)
+
+
diff --git a/gitlab-pages/website/pages/en/versions.js b/gitlab-pages/website/pages/en/versions.js index a123ea192..f701a8da3 100644 --- a/gitlab-pages/website/pages/en/versions.js +++ b/gitlab-pages/website/pages/en/versions.js @@ -28,7 +28,7 @@ function Versions(props) {

{siteConfig.title} Versions

-

Current version (Stable)

+

Current version

diff --git a/gitlab-pages/website/static/css/custom.css b/gitlab-pages/website/static/css/custom.css index 9235419e8..773b05be3 100644 --- a/gitlab-pages/website/static/css/custom.css +++ b/gitlab-pages/website/static/css/custom.css @@ -36,22 +36,21 @@ border-bottom: 4px solid #e0e0e0; } -.homeContainer .tabs .nav-tabs > div.active { +.homeContainer .tabs .nav-tabs > div { + cursor: pointer; + color: #24292e; border-bottom: none; } -.homeContainer .tabs .nav-tabs > div { +.homeContainer .tabs .nav-tabs > div.active { + border-bottom: 4px solid #1A1A1A; +} + + +.homeContainer .tabs .nav-tabs > div:last-of-type { cursor: default; color: #24292e64; -} - -.homeContainer .tabs .nav-tabs > div:first-of-type { - cursor: pointer; - color: #24292e; -} - -.homeContainer .tabs .nav-tabs > div.active:first-of-type { - border-bottom: 4px solid #1A1A1A; + border-bottom: none; } .homeContainer .tab-content { @@ -178,12 +177,27 @@ a:hover { padding-right: 40px; } - - .productShowcaseSection.team .logos p { padding-top: 0px; } +.toc .toggleNav { + margin-top: 12px; +} + +.mainContainer { + padding-top: 60px; +} + +.tocActive .onPageNav > .toc-headings { + padding-top: 24px; +} + +.docsSliderActive #tocToggler { + opacity: 0; + visibility: hidden; +} + @media only screen and (min-device-width: 360px) and (max-device-width: 736px) { }