From d35f7f329bfcedc3463bfbde399eb722de049e71 Mon Sep 17 00:00:00 2001 From: willemolding Date: Fri, 20 Oct 2023 00:15:58 +0000 Subject: [PATCH] deploy: a434a28c62f5accbad5ddc4cf2fbc024736eb3ef --- 404.html | 25 ++++---- background.html | 29 +++++---- book.js | 47 ++++++++++----- containers.html | 25 ++++---- contracts.html | 29 +++++---- contributions.html | 29 +++++---- css/chrome.css | 110 +++++++++++++++++++++++----------- css/general.css | 50 ++++++++++++---- css/print.css | 6 +- css/variables.css | 12 ++++ finality_client.html | 29 +++++---- future_work.html | 29 +++++---- index.html | 29 +++++---- intro.html | 29 +++++---- known_issues_and_attacks.html | 29 +++++---- overview.html | 29 +++++---- print.html | 27 +++++---- properties.html | 29 +++++---- verifier.html | 29 +++++---- 19 files changed, 397 insertions(+), 224 deletions(-) diff --git a/404.html b/404.html index ed87f1e..90bbda4 100644 --- a/404.html +++ b/404.html @@ -1,5 +1,5 @@ - + @@ -11,7 +11,7 @@ - + @@ -34,7 +34,7 @@ - +
+ +