From 5c24207c3b9e815714917de1e6d497ad0fa28284 Mon Sep 17 00:00:00 2001 From: Sarah Fowler Date: Wed, 25 Sep 2019 11:13:28 -0400 Subject: [PATCH 1/3] [LIGO-92] button styles --- gitlab-pages/website/static/css/custom.css | 472 +++++++++++++-------- 1 file changed, 306 insertions(+), 166 deletions(-) diff --git a/gitlab-pages/website/static/css/custom.css b/gitlab-pages/website/static/css/custom.css index c73b1f424..d48c8ea95 100644 --- a/gitlab-pages/website/static/css/custom.css +++ b/gitlab-pages/website/static/css/custom.css @@ -1,177 +1,181 @@ :root { - --color-primary-brand: #3AA0FF; - --color-secondary-brand: #FC683A; - --color-accent: #37D7C3; - --color-primary-text: #0D0F33; - --color-secondary-text: #5A5C74; - --color-gray: #EBEBEB; - --color-light-blue: #EBF6FF; - --color-light-gray: #FAFAFA; - --color-white: #FFFFFF; - --color-code-background1: #EFF4F7; - --color-code-background2: #D2DFE9; - --padding-level-1: 20px; - --padding-level-2: 25px; - --padding-level-3: 30px; - --padding-level-4: 45px; - --padding-level-5: 60px; - --padding-level-6: 100px; + --color-primary-brand: #3aa0ff; + --color-secondary-brand: #fc683a; + --color-accent: #37d7c3; + --color-primary-text: #0d0f33; + --color-secondary-text: #5a5c74; + --color-gray: #ebebeb; + --color-light-blue: #ebf6ff; + --color-light-gray: #fafafa; + --color-white: #ffffff; + --color-code-background1: #eff4f7; + --color-code-background2: #d2dfe9; + --padding-level-1: 20px; + --padding-level-2: 25px; + --padding-level-3: 30px; + --padding-level-4: 45px; + --padding-level-5: 60px; + --padding-level-6: 100px; } html { - font-size: 16px; + font-size: 16px; } -h1, h2, h3, h4, .landing .headline { - font-family: "DM Sans", sans-serif; - font-weight: bold; +h1, +h2, +h3, +h4, +.landing .headline { + font-family: "DM Sans", sans-serif; + font-weight: bold; } -body, .body, .headline, .subhead, .footnote { - font-family: "Open Sans", sans-serif; +body, +.body, +.headline, +.subhead, +.footnote { + font-family: "Open Sans", sans-serif; } -code, .mono { - font-family: "Source Code Pro", monospace; - font-size: 1rem; +code, +.mono { + font-family: "Source Code Pro", monospace; + font-size: 1rem; } h1 { - font-size: 2.625rem; + font-size: 2.625rem; } .landing h1 { - font-size: 4.5rem; - } - h2 { - font-size: 2.25rem; - } - .landing h2 { - font-size: 3rem; - } - h3 { - font-size: 1.5rem; - } - .landing h3 { - font-size: 2.25rem; - } - h4 { - font-size: 1.125rem; - } - .landing h4 { - font-size: 1.5rem; - } - .headline { - font-weight: bold; - font-size: 1rem; - } - .landing .headline { - font-size: 1.125rem; - } - body, .body { - font-size: 1rem; - } - .landing .body, .landing { - font-size: 1.125rem; - } - .subhead { - font-size: 0.875rem; - } - .landing .subhead { - font-size: 1rem; - } - .footnote { - font-size: 0.75rem; - } + font-size: 4.5rem; +} +h2 { + font-size: 2.25rem; +} +.landing h2 { + font-size: 3rem; +} +h3 { + font-size: 1.5rem; +} +.landing h3 { + font-size: 2.25rem; +} +h4 { + font-size: 1.125rem; +} +.landing h4 { + font-size: 1.5rem; +} +.headline { + font-weight: bold; + font-size: 1rem; +} +.landing .headline { + font-size: 1.125rem; +} +body, +.body { + font-size: 1rem; +} +.landing .body, +.landing { + font-size: 1.125rem; +} +.subhead { + font-size: 0.875rem; +} +.landing .subhead { + font-size: 1rem; +} +.footnote { + font-size: 0.75rem; +} .projectTitle small { - max-width: 700px; - text-align: center; - margin: 0 auto; - margin-top: 0.7em; + max-width: 700px; + text-align: center; + margin: 0 auto; + margin-top: 0.7em; } .fixedHeaderContainer header .headerTitleWithLogo { - display: none; + display: none; } -.fixedHeaderContainer header img {} +.fixedHeaderContainer header img { +} .nav-footer { - background: var(--color-primary-text); + background: var(--color-primary-text); } .navigationSlider .slidingNav { - background: #1A1A1A; + background: #1a1a1a; } .homeContainer { - box-shadow: inset 0 -10px 10px -6px rgba(177, 176, 176, 0.2); - background: #f6f4f4; + box-shadow: inset 0 -10px 10px -6px rgba(177, 176, 176, 0.2); + background: #f6f4f4; } .homeContainer .hljs { - text-align: left; - background: transparent; + text-align: left; + background: transparent; } .tabs { - max-width: 800px; - margin: 0 auto; - border-top: none; - border-bottom: 4px solid #e0e0e0; + max-width: 800px; + margin: 0 auto; + border-top: none; + border-bottom: 4px solid #e0e0e0; } .tabs .nav-tabs > div { - cursor: pointer; - color: #24292e; - border-bottom: none; - padding-bottom: 8px; + cursor: pointer; + color: #24292e; + border-bottom: none; + padding-bottom: 8px; } .tab-content { - padding-top: 12px; + padding-top: 12px; } .tabs .nav-tabs > div.active { - border-bottom: 4px solid #1A1A1A; + border-bottom: 4px solid #1a1a1a; } - .homeContainer .tabs .nav-tabs > div:last-of-type { - cursor: default; - color: #24292e64; - border-bottom: none; + cursor: default; + color: #24292e64; + border-bottom: none; } .tab-content { - border-top: 4px solid #e0e0e0; + border-top: 4px solid #e0e0e0; } .nav-tabs { - border: none; - position: relative; - top: 4px; + border: none; + position: relative; + top: 4px; } - -.button { - border: 1px solid #B2210C; - color: #B2210C; +.promoSection .buttonWrapper:first-of-type > a.button { + background: #b2210c; + color: white; } -.button:hover, .promoSection .buttonWrapper:first-of-type > a.button { - background: #B2210C; - color: white; -} - - blockquote { - background-color: rgba(26, 26, 26, 0.3); - border-left: 8px solid rgba(26, 26, 26, 0.1); - color: rgba(255,255,255, 1); + background-color: rgba(26, 26, 26, 0.3); + border-left: 8px solid rgba(26, 26, 26, 0.1); + color: rgba(255, 255, 255, 1); } blockquote code { - opacity: 0.5; + opacity: 0.5; } /* blockquote a { @@ -191,129 +195,265 @@ blockquote { } */ a { - color: rgba(178, 33, 12, 0.8); + color: rgba(178, 33, 12, 0.8); } a:hover { - color: rgba(178, 33, 12, 1); + color: rgba(178, 33, 12, 1); } .homeContainer .homeWrapper .projectLogo { - display: block; - position: relative; - padding: 0; + display: block; + position: relative; + padding: 0; } .projectTitle { - margin-top: 30px; - margin-bottom: 0; + margin-top: 30px; + margin-bottom: 0; } .projectTitle small { - margin: 0 auto; + margin: 0 auto; } .promoSection .promoRow { - padding-top: 0; - margin-top: 30px; + padding-top: 0; + margin-top: 30px; } .promoSection .promoRow .pluginRowBlock .pluginWrapper { - padding: 0 4px; + padding: 0 4px; } .blockElement { - color: #1A1A1A; + color: #1a1a1a; } .blockImage { - margin-bottom: 0px; + margin-bottom: 0px; } .blockContent { - margin-top: -25px; + margin-top: -25px; } .features { - background: white; - margin-top: -40px; - position: relative; - text-align: center; - /* box-shadow: 0 10px 10px -6px rgba(177, 176, 176, 0.3); */ + background: white; + margin-top: -40px; + position: relative; + text-align: center; + /* box-shadow: 0 10px 10px -6px rgba(177, 176, 176, 0.3); */ } .sectionTitle { - border-bottom: 4px solid #e0e0e0; - margin: 0 auto; - margin-top: 35px; - padding-bottom: 15px; + border-bottom: 4px solid #e0e0e0; + margin: 0 auto; + margin-top: 35px; + padding-bottom: 15px; } .sectionTitle.blockTitle { - margin-bottom: -20px; + margin-bottom: -20px; } -.lightBackground, body, html { - background: white; +.lightBackground, +body, +html { + background: white; } .copyright a { - color: #B2210C; + color: #b2210c; } .productShowcaseSection.team .logos img { - border-radius: 50%; - height: 150px; - margin-bottom: 0px; - padding-left: 40px; - padding-right: 40px; + border-radius: 50%; + height: 150px; + margin-bottom: 0px; + padding-left: 40px; + padding-right: 40px; } .productShowcaseSection.team .logos p { - padding-top: 0px; + padding-top: 0px; } .toc .toggleNav { - margin-top: 12px; + margin-top: 12px; } .mainContainer { - padding-top: 60px; + padding-top: 60px; } .tocActive .onPageNav > .toc-headings { - padding-top: 24px; + padding-top: 24px; } .docsSliderActive #tocToggler { - opacity: 0; - visibility: hidden; + opacity: 0; + visibility: hidden; } code { - background: rgb(240, 240, 240); - color: #444; + background: rgb(240, 240, 240); + color: #444; } -body > div.fixedHeaderContainer > div > header > div > nav > ul > li:nth-child(5) { - background: url('/img/discord.svg'); - background-repeat: no-repeat; - background-position: center center; - min-width: 50px; - padding-top: 5px; - opacity: 0.8; +body + > div.fixedHeaderContainer + > div + > header + > div + > nav + > ul + > li:nth-child(5) { + background: url("/img/discord.svg"); + background-repeat: no-repeat; + background-position: center center; + min-width: 50px; + padding-top: 5px; + opacity: 0.8; } -body > div.fixedHeaderContainer > div > header > div > nav > ul > li:nth-child(5):hover { - opacity: 1; +body + > div.fixedHeaderContainer + > div + > header + > div + > nav + > ul + > li:nth-child(5):hover { + opacity: 1; } -body > div.fixedHeaderContainer > div > header > div > nav > ul > li:nth-child(5) > a:hover { - background: transparent; +body + > div.fixedHeaderContainer + > div + > header + > div + > nav + > ul + > li:nth-child(5) + > a:hover { + background: transparent; } .cheatsheet tr > td:first-of-type { - min-width: 240px; + min-width: 240px; +} + +/** Buttons **/ + +.button, +.large-primary-button, +.large-secondary-button { + border: none; + color: var(--color-white); + font-size: 1rem; + font-weight: normal; + line-height: 1.375rem; + text-transform: none; +} + +.button, +.button:hover { + border-radius: 36px; + padding: 10px 20px; + background-color: var(--color-primary-brand); + min-width: 130px; + color: var(--color-white); +} + +.button:hover { + box-shadow: 0px 2px 15px rgba(58, 160, 255, 0.3); +} + +.button:focus { + background-color: #0078e8; +} + +.button[disabled] { + background: rgba(58, 160, 255, 0.35); +} + +.large-primary-button, +.large-primary-button:hover, +.large-secondary-button, +.large-secondary-button:hover { + border-radius: 37px; + padding: 20px; + min-width: 132px; + color: var(--color-white); +} + +.large-primary-button { + background-color: var(--color-primary-text); +} + +.large-primary-button:hover { + box-shadow: 0px 2px 25px rgba(13, 15, 51, 0.3); +} + +.large-primary-button:focus { + background-color: #010212; + box-shadow: 0px 2px 25px rgba(13, 15, 51, 0.3); +} +.large-primary-button[disabled] { + background: rgba(13, 15, 51, 0.35); +} + +.large-secondary-button { + background-color: var(--color-secondary-brand); +} + +.large-secondary-button:hover { + box-shadow: 0px 2px 25px rgba(252, 104, 58, 0.3); +} + +.large-secondary-button:focus { + background-color: #f33e24; + box-shadow: 0px 2px 25px rgba(252, 104, 58, 0.3); +} +.large-secondary-button[disabled] { + background: rgba(252, 104, 58, 0.35); +} + +.version-button { + background-color: var(--color-gray); + padding: 5px; + border-radius: 2px; + color: var(--color-primary-text); +} +.version-button:hover { + background-color: var(--color-light-blue); +} +.version-button:focus { + background: rgba(47, 152, 249, 0.3); +} +.version-button[disabled] { + background: rgba(58, 160, 255, 0.35); +} + +.page-button * { + stroke: var(--color-primary-text); +} +.page-button:hover * { + stroke: var(--color-secondary-text); +} +.page-button:focus * { + stroke: #010212; +} + +.discord-button #background { + fill: var(--color-primary-brand); +} +.discord-button:hover svg { + box-shadow: 0px 2px 15px rgba(58, 160, 255, 0.3); +} +.discord-button:focus #background { + fill: #0078e8; } @media only screen and (min-device-width: 360px) and (max-device-width: 736px) { @@ -329,4 +469,4 @@ body > div.fixedHeaderContainer > div > header > div > nav > ul > li:nth-child(5 } @media only screen and (min-width: 1500px) { -} \ No newline at end of file +} From 7e6651cf94b8bbfe95d2e218b61f5f586562e831 Mon Sep 17 00:00:00 2001 From: Sarah Fowler Date: Wed, 25 Sep 2019 11:45:37 -0400 Subject: [PATCH 2/3] [LIGO-93] redesign profile pics --- .gitignore | 1 + gitlab-pages/.gitignore | 1 + gitlab-pages/website/pages/en/index.js | 240 ++++++++++++++------- gitlab-pages/website/siteConfig.js | 124 +++++------ gitlab-pages/website/static/css/custom.css | 32 +++ gitlab-pages/website/static/img/user.svg | 17 ++ 6 files changed, 279 insertions(+), 136 deletions(-) create mode 100644 gitlab-pages/website/static/img/user.svg diff --git a/.gitignore b/.gitignore index 10c5583fa..ced532fda 100644 --- a/.gitignore +++ b/.gitignore @@ -4,3 +4,4 @@ dune-project cache/* Version.ml /_opam/ +**/.DS_Store \ No newline at end of file diff --git a/gitlab-pages/.gitignore b/gitlab-pages/.gitignore index 7dbdd7e15..66c160e49 100644 --- a/gitlab-pages/.gitignore +++ b/gitlab-pages/.gitignore @@ -1,4 +1,5 @@ **/.DS_Store +.DS_Store node_modules diff --git a/gitlab-pages/website/pages/en/index.js b/gitlab-pages/website/pages/en/index.js index 0ad5ffa1a..c962109df 100644 --- a/gitlab-pages/website/pages/en/index.js +++ b/gitlab-pages/website/pages/en/index.js @@ -5,9 +5,9 @@ * LICENSE file in the root directory of this source tree. */ -const React = require('react'); +const React = require("react"); -const CompLibrary = require('../../core/CompLibrary.js'); +const CompLibrary = require("../../core/CompLibrary.js"); const MarkdownBlock = CompLibrary.MarkdownBlock; /* Used to read markdown */ const Container = CompLibrary.Container; @@ -15,46 +15,117 @@ const GridBlock = CompLibrary.GridBlock; class HomeSplash extends React.Component { render() { - const {siteConfig, language = ''} = this.props; - const {baseUrl, docsUrl} = siteConfig; - const docsPart = `${docsUrl ? `${docsUrl}/` : ''}`; - const langPart = `${language ? `${language}/` : ''}`; + const { siteConfig, language = "" } = this.props; + const { baseUrl, docsUrl } = siteConfig; + const docsPart = `${docsUrl ? `${docsUrl}/` : ""}`; + const langPart = `${language ? `${language}/` : ""}`; const docUrl = doc => `${baseUrl}${docsPart}${langPart}${doc}`; const SplashContainer = props => (
- -
-
-
PascaLIGO
-
CameLIGO
-
ReasonLIGO (coming soon)
- {/*
+
+
+ PascaLIGO +
+
+ CameLIGO +
+
ReasonLIGO (coming soon)
+ {/*
Camligo
*/} -
-
-
-
- -
// variant defining pseudo multi-entrypoint actions
type action is
| Increment of int
| Decrement of int

function add (const a : int ; const b : int) : int is
block {'{ skip }'} with a + b

function subtract (const a : int ; const b : int) : int is
block {'{ skip }'} with a - b

// real entrypoint that re-routes the flow based on the action provided
function main (const p : action ; const s : int) : (list(operation) * int) is
block {'{ skip }'} with ((nil : list(operation)),
case p of
| Increment(n) -> add(s, n)
| Decrement(n) -> subtract(s, n)
end)
-
-
-
-
-
-                    
-                    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)
-
-
+
+
+
+ +
+                        
+                          // variant defining pseudo multi-entrypoint actions
+                          
+ type action is +
| Increment of int +
| Decrement of int +
+
+ function add (const a : int ; const b : int) : int is +
block {"{ skip }"} with a + b
+
+ function subtract (const a : int ; const b : int) : + int is +
block {"{ skip }"} with a - b
+
+ // real entrypoint that re-routes the flow based on + the action provided +
+ function main (const p : action ; const s : int) : + (list(operation) * int) is +
block {"{ skip }"} with ((nil : + list(operation)), +
case p of +
| Increment(n) -> add(s, n) +
| Decrement(n) -> subtract(s, n) +
end) +
+
+
+
+
+
+
+
+
+                      
+                        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) +
+
+
+
-
{props.children}
@@ -95,9 +166,19 @@ class HomeSplash extends React.Component {
- - - + + +
@@ -107,14 +188,15 @@ class HomeSplash extends React.Component { class Index extends React.Component { render() { - const {config: siteConfig, language = ''} = this.props; - const {baseUrl} = siteConfig; + const { config: siteConfig, language = "" } = this.props; + const { baseUrl } = siteConfig; const Block = props => ( + background={props.background} + > (
+ style={{ textAlign: "center" }} + >

Feature Callout

These are features of this project
@@ -137,13 +220,13 @@ class Index extends React.Component { {[ { content: - 'To make your landing page more attractive, use illustrations! Check out ' + - '[**unDraw**](https://undraw.co/) which provides you with customizable illustrations which are free to use. ' + - 'The illustrations you see on this page are from unDraw.', + "To make your landing page more attractive, use illustrations! Check out " + + "[**unDraw**](https://undraw.co/) which provides you with customizable illustrations which are free to use. " + + "The illustrations you see on this page are from unDraw.", image: `${baseUrl}img/undraw_code_review.svg`, - imageAlign: 'left', - title: 'Wonderful SVG Illustrations', - }, + imageAlign: "left", + title: "Wonderful SVG Illustrations" + } ]} ); @@ -153,11 +236,11 @@ class Index extends React.Component { {[ { content: - 'This is another description of how this project is useful', + "This is another description of how this project is useful", image: `${baseUrl}img/undraw_note_list.svg`, - imageAlign: 'right', - title: 'Description', - }, + imageAlign: "right", + title: "Description" + } ]} ); @@ -167,11 +250,11 @@ class Index extends React.Component { {[ { content: - 'Each new Docusaurus project has **randomly-generated** theme colors.', + "Each new Docusaurus project has **randomly-generated** theme colors.", image: `${baseUrl}img/undraw_youtube_tutorial.svg`, - imageAlign: 'right', - title: 'Randomly Generated Theme Colors', - }, + imageAlign: "right", + title: "Randomly Generated Theme Colors" + } ]} ); @@ -182,22 +265,24 @@ class Index extends React.Component { {[ { - content: 'Write in PascaLIGO (pascal-like syntax) or CameLIGO (caml-like syntax). If you know OCaml, you can also add your own syntax.', + content: + "Write in PascaLIGO (pascal-like syntax) or CameLIGO (caml-like syntax). If you know OCaml, you can also add your own syntax.", image: `${baseUrl}img/edit.svg`, - imageAlign: 'top', - title: 'Syntax Agnostic', + imageAlign: "top", + title: "Syntax Agnostic" }, { - content: 'Write types, then code, and benefit from the safety coming from type systems.', + content: + "Write types, then code, and benefit from the safety coming from type systems.", image: `${baseUrl}img/lightning.svg`, - imageAlign: 'top', - title: 'Strong Type System', + imageAlign: "top", + title: "Strong Type System" }, { - content: 'With Granary, you can use LIGO as a lib from NodeJS.', + content: "With Granary, you can use LIGO as a lib from NodeJS.", image: `${baseUrl}img/puzzle.svg`, - imageAlign: 'top', - title: 'Easy Integration', + imageAlign: "top", + title: "Easy Integration" } ]} @@ -206,19 +291,19 @@ class Index extends React.Component { const Roadmap = () => (
- + {[ { - content: + content: "

June 2019

" + - "
    " + + "
      " + "
    • First public release
    • " + "
    • PascaLIGO and CameLIGO syntaxes
    • " + "
    • Docs and Tutorials
    • " + "
    • Integration testing in ReasonML/JS with Granary
    • " + "
    " + "

    July 2019

    " + - "
      " + + "
        " + "
      • Try LIGO online editor
      • " + "
      • Unit testing toolkit
      • " + "
      • ReasonLIGO syntax support
      • " + @@ -229,9 +314,9 @@ class Index extends React.Component { "Long term plans will be announced soon" + "
        ", image: ``, - imageAlign: 'right', - title: 'Roadmap', - }, + imageAlign: "right", + title: "Roadmap" + } ]}
@@ -250,7 +335,7 @@ class Index extends React.Component { )); - const pageUrl = page => baseUrl + (language ? `${language}/` : '') + page; + const pageUrl = page => baseUrl + (language ? `${language}/` : "") + page; return (
@@ -273,18 +358,22 @@ class Index extends React.Component { const showcase = siteConfig.team .filter(user => user.pinned) .map(user => ( - - {user.caption} -

{user.caption}

+
+ {user.caption} +

{user.caption}

)); - const pageUrl = page => baseUrl + (language ? `${language}/` : '') + page; + const pageUrl = page => baseUrl + (language ? `${language}/` : "") + page; return (

Team

-
{showcase}
+
{showcase}
{/*
More {siteConfig.title} Users @@ -298,7 +387,6 @@ class Index extends React.Component {
- {/* */} {/* */} diff --git a/gitlab-pages/website/siteConfig.js b/gitlab-pages/website/siteConfig.js index 574cf8623..0d2780144 100644 --- a/gitlab-pages/website/siteConfig.js +++ b/gitlab-pages/website/siteConfig.js @@ -11,99 +11,103 @@ // List of projects/orgs using your project for the users page. const partners = [ { - caption: 'Nomadic Labs', + caption: "Nomadic Labs", // You will need to prepend the image path with your baseUrl // if it is not '/', like: '/test-site/img/image.jpg'. - image: '/img/nomadic-logo.jpg', - infoLink: 'https://www.nomadic-labs.com/', - pinned: true, + image: "/img/nomadic-logo.jpg", + infoLink: "https://www.nomadic-labs.com/", + pinned: true }, { - caption: 'Tocqueville Group', + caption: "Tocqueville Group", // You will need to prepend the image path with your baseUrl // if it is not '/', like: '/test-site/img/image.jpg'. - image: '/img/tq-logo.svg', - infoLink: 'https://tqgroup.io/', - pinned: true, + image: "/img/tq-logo.svg", + infoLink: "https://tqgroup.io/", + pinned: true }, { - caption: 'Stove Labs', + caption: "Stove Labs", // You will need to prepend the image path with your baseUrl // if it is not '/', like: '/test-site/img/image.jpg'. - image: '/img/stove-logo.png', - infoLink: 'https://stove-labs.com', - pinned: true, - }, + image: "/img/stove-logo.png", + infoLink: "https://stove-labs.com", + pinned: true + } ]; const team = [ { - caption: 'Gabriel Alfour', + caption: "Gabriel Alfour", // You will need to prepend the image path with your baseUrl // if it is not '/', like: '/test-site/img/image.jpg'. - image: '/img/user.png', - infoLink: 'https://gitlab.com/gabriel.alfour', - pinned: true, + image: "/img/user.svg", + infoLink: "https://gitlab.com/gabriel.alfour", + pinned: true }, { - caption: 'Georges Dupéron', + caption: "Georges Dupéron", // You will need to prepend the image path with your baseUrl // if it is not '/', like: '/test-site/img/image.jpg'. - image: '/img/user.png', - infoLink: 'https://gitlab.com/georges.duperon', - pinned: true, + image: "/img/user.svg", + infoLink: "https://gitlab.com/georges.duperon", + pinned: true }, { - caption: 'Christian Rinderknecht', + caption: "Christian Rinderknecht", // You will need to prepend the image path with your baseUrl // if it is not '/', like: '/test-site/img/image.jpg'. - image: '/img/christian.jpeg', - infoLink: 'https://github.com/rinderknecht', - pinned: true, + image: "/img/christian.jpeg", + infoLink: "https://github.com/rinderknecht", + pinned: true }, { - caption: 'Brice Aldrich', + caption: "Brice Aldrich", // You will need to prepend the image path with your baseUrl // if it is not '/', like: '/test-site/img/image.jpg'. - image: '/img/brice.png', - infoLink: 'https://github.com/DefinitelyNotAGoat', - pinned: true, + image: "/img/brice.png", + infoLink: "https://github.com/DefinitelyNotAGoat", + pinned: true }, { - caption: 'Matej Sima', + caption: "Matej Sima", // You will need to prepend the image path with your baseUrl // if it is not '/', like: '/test-site/img/image.jpg'. - image: '/img/matej.jpg', - infoLink: 'https://github.com/maht0rz', - pinned: true, - }, + image: "/img/matej.jpg", + infoLink: "https://github.com/maht0rz", + pinned: true + } ]; const siteConfig = { - title: 'LIGO', // Title for your website. - tagline: 'LIGO is a statically typed high-level smart-contract language that compiles down to Michelson. It seeks to be easy to use, extensible and safe.', - url: 'https://your-docusaurus-test-site.com', // Your website URL - baseUrl: '/', // Base URL for your project */ + title: "LIGO", // Title for your website. + tagline: + "LIGO is a statically typed high-level smart-contract language that compiles down to Michelson. It seeks to be easy to use, extensible and safe.", + url: "https://your-docusaurus-test-site.com", // Your website URL + baseUrl: "/", // Base URL for your project */ // For github.io type URLs, you would set the url and baseUrl like: // url: 'https://facebook.github.io', // baseUrl: '/test-site/', // Used for publishing and more - projectName: 'ligo', - organizationName: 'marigold', + projectName: "ligo", + organizationName: "marigold", // For top-level user or org sites, the organization is still the same. // e.g., for the https://JoelMarcey.github.io site, it would be set like... // organizationName: 'JoelMarcey' // For no header links in the top nav bar -> headerLinks: [], headerLinks: [ - {doc: 'setup/installation', label: 'Docs'}, - {doc: 'tutorials/get-started/tezos-taco-shop-smart-contract', label: 'Tutorials'}, - { blog: true, label: 'Blog' }, + { doc: "setup/installation", label: "Docs" }, + { + doc: "tutorials/get-started/tezos-taco-shop-smart-contract", + label: "Tutorials" + }, + { blog: true, label: "Blog" }, // TODO: { href: "/odoc", label: "Api" }, - {doc: 'contributors/origin', label: 'Contribute'}, - {href: 'https://discord.gg/9rhYaEt', label: ''}, - { search: true }, + { doc: "contributors/origin", label: "Contribute" }, + { href: "https://discord.gg/9rhYaEt", label: "" }, + { search: true } ], // If you have users set above, you add it here: @@ -111,14 +115,14 @@ const siteConfig = { team, /* path to images for header/footer */ - headerIcon: 'img/logo.svg', - footerIcon: 'img/logo.svg', - favicon: 'img/logo.svg', + headerIcon: "img/logo.svg", + footerIcon: "img/logo.svg", + favicon: "img/logo.svg", /* Colors for website */ colors: { - primaryColor: '#1A1A1A', - secondaryColor: '#1A1A1A', + primaryColor: "#1A1A1A", + secondaryColor: "#1A1A1A" }, /* Custom fonts for website */ @@ -140,20 +144,20 @@ const siteConfig = { highlight: { // Highlight.js theme to use for syntax highlighting in code blocks. - theme: 'default', + theme: "default" }, // Add custom scripts here that would be placed in