diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-11-28 11:07:34 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-28 11:07:34 +0000 |
| commit | d0700b00ea6eebc070b1049646d253565d7feda5 (patch) | |
| tree | 7ea7d00ae6c5777c7320f3fd515b8afd907fa30d | |
| parent | 289dc4be9287f5a720084ca923dcd10f3b9c9393 (diff) | |
| download | vericert-d0700b00ea6eebc070b1049646d253565d7feda5.tar.gz vericert-d0700b00ea6eebc070b1049646d253565d7feda5.zip | |
Update website css
| -rw-r--r-- | .github/workflows/main.yml | 6 | ||||
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | docs/css/org.css | 14 | ||||
| -rw-r--r-- | docs/proof/Compiler.html | 10 |
4 files changed, 22 insertions, 10 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index c0e9606..0702601 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -30,8 +30,10 @@ jobs: with: submodules: true - - name: Install Nix - uses: cachix/install-nix-action@v10 + + - uses: cachix/install-nix-action@v12 + with: + nix_path: nixpkgs=channel:nixos-unstable - name: Build run: nix-shell --run "make -j8" @@ -47,3 +47,5 @@ bin/vericert _build dune-project .merlin + +/docs/html diff --git a/docs/css/org.css b/docs/css/org.css index 6267368..908265f 100644 --- a/docs/css/org.css +++ b/docs/css/org.css @@ -29,7 +29,6 @@ body { } #left-bar { - float: left; position: fixed; left: 0px; top: 0px; @@ -39,6 +38,11 @@ body { background-color: #A5573E; } + .logo { + text-align: center; + position: relative; + } + .logo > a { color: #fdf6e3; font-size: 5rem; @@ -46,17 +50,13 @@ body { text-decoration: none; } - .logo { - text-align: center; - margin-bottom: 10px; - } - .logo > a:hover { border-bottom: none; } #navbar { text-align: center; + position: relative; } #navbar > span { @@ -77,7 +77,7 @@ body { color: #fdf6e3; } - header > p { + header p { color: #fdf6e3; line-height: 1.3; } diff --git a/docs/proof/Compiler.html b/docs/proof/Compiler.html index fa9c633..173d581 100644 --- a/docs/proof/Compiler.html +++ b/docs/proof/Compiler.html @@ -13,7 +13,15 @@ <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/IBM-type/0.5.4/css/ibm-type.min.css" integrity="sha512-sky5cf9Ts6FY1kstGOBHSybfKqdHR41M0Ldb0BjNiv3ifltoQIsg0zIaQ+wwdwgQ0w9vKFW7Js50lxH9vqNSSw==" crossorigin="anonymous" /> <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/firacode/5.2.0/fira_code.min.css" integrity="sha512-MbysAYimH1hH2xYzkkMHB6MqxBqfP0megxsCLknbYqHVwXTCg9IqHbk+ZP/vnhO8UEW6PaXAkKe2vQ+SWACxxA==" crossorigin="anonymous" /> <link rel="stylesheet" href="../css/org.css" type="text/css" media="screen" /></head> -<body><header id="header" class="status"><div id="left-bar"><header><div class="logo"><a href="/vericert">Vericert</a></div><nav id="navbar"><span><a href="/vericert/documentation.html">Documentation</a></span><span><a href="/vericert/proof/toc.html">Proof</a></span></nav><p>Vericert is the first formally verified high-level synthesis tool.</p></<div id="toc"></div></div></header> +<body> + <div id="left-bar"> + <header id="header" class="status"> + <div class="logo"><a href="/vericert">Vericert</a></div> + <nav id="navbar"><span><a href="/vericert/documentation.html">Documentation</a></span> + <span><a href="/vericert/proof/toc.html">Proof</a></span></nav> + <p>Vericert is the first formally verified high-level synthesis tool.</p><div id="toc"></div> + </header> + </div> <div class="alectryon-root alectryon-floating"><div class="document" id="compiler-proof"> <h1 class="title">Compiler Proof</h1> |