From 92f6292f5a38045e32d6a73c3d36c1798ee26d4f Mon Sep 17 00:00:00 2001 From: Robin Berjon Date: Tue, 10 Dec 2024 15:03:21 +0100 Subject: [PATCH] generated specs starting to look nice --- brutal.css | 90 ++--------------------------------------------- cid.html | 16 +++++---- cid.src.html | 10 +++--- dcbor42.html | 14 +++++--- dcbor42.src.html | 8 +++-- package.json | 5 ++- shared.css | 91 ++++++++++++++++++++++++++++++++++++++++++++++++ sisl.js | 87 +++++++++++++++++++++++++++++++++++++++++++-- spec.css | 50 ++++++++++++++++++++++++++ todo.md | 10 ++++-- 10 files changed, 268 insertions(+), 113 deletions(-) create mode 100644 shared.css create mode 100644 spec.css diff --git a/brutal.css b/brutal.css index 240845b..85d78d6 100644 --- a/brutal.css +++ b/brutal.css @@ -1,71 +1,5 @@ +@import "shared.css"; -@font-face { - font-family: "Barlow"; - src: url("fonts/Barlow-Regular.ttf"); - font-weight: 400; - font-style: normal; -} -@font-face { - font-family: "Barlow"; - src: url("fonts/Barlow-Regular.ttf"); - font-weight: 400; - font-style: normal; -} -@font-face { - font-family: "Barlow"; - src: url("fonts/Barlow-Italic.ttf"); - font-weight: 400; - font-style: italic; -} -@font-face { - font-family: "Barlow"; - src: url("fonts/Barlow-Bold.ttf"); - font-weight: 700; - font-style: normal; -} -@font-face { - font-family: "Barlow"; - src: url("fonts/Barlow-BoldItalic.ttf"); - font-weight: 700; - font-style: italic; -} -@font-face { - font-family: "Barlow"; - src: url("fonts/Barlow-Thin.ttf"); - font-weight: 100; - font-style: normal; -} -@font-face { - font-family: "Barlow"; - src: url("fonts/Barlow-ThinItalic.ttf"); - font-weight: 100; - font-style: italic; -} - -/* https://colorkit.co/palette/fff500-00ff75-cd76ea-ffb443-ff5e5e-39dbff/ */ -:root { - --yellow: #fff500; - --green: #00ff75; - --purple: #cd76ea; - --orange: #ffb443; - --red: #ff5e5e; - --blue: #39dbff; - --contrasted: #00819e; - --content-width: 80rem; - --header-font-size: 1.6rem; - --brutal-border: 5px solid #000; -} -html, body { - margin: 0; - padding: 0; - font-family: Barlow; -} -main { - max-width: var(--content-width); - margin: auto; - min-height: 100vh; - padding: 1rem; -} header { display: flex; border: var(--brutal-border); @@ -121,9 +55,8 @@ h3 { margin: 1rem; font-weight: 400; font-size: var(--header-font-size); - } -p, section > ul, section > ol { +p, section > ul, section > ol, section > dl { margin: 0 1rem 1rem 1rem; max-width: 70ch; line-height: 1.4; @@ -136,25 +69,6 @@ section > ul, section > ol { section ul > li { list-style-type: square; } -a { - color: var(--contrasted); - text-decoration-thickness: 3px; - text-decoration-color: var(--blue); -} -a:hover { - text-decoration-color: var(--red); -} -dfn { - font-style: normal; - font-weight: 700; -} -var { - text-decoration: underline; - text-decoration-color: #ccc; -} -code { - font-size: 1rem; -} #what > h2 { text-decoration-color: var(--orange); } #code > h2 { text-decoration-color: var(--blue); } #spec > h2 { text-decoration-color: var(--red); } diff --git a/cid.html b/cid.html index 07908cd..9210304 100644 --- a/cid.html +++ b/cid.html @@ -2,12 +2,14 @@ Content IDs (CIDs) - - -

- DASL CIDs are a strict subset of IPFS CIDs - (but you don't need to understanding anything about IPFS to either use or implement them) with the following properties: -

+ +
A specification of the DASL Project.

Content IDs (CIDs)

date2024-12-10
editorsRobin Berjon <robin@berjon.com> & Juan Caballero <bumblefudge@learningproof.xyz>
abstract
+

+ DASL CIDs are a strict subset of IPFS CIDs + (but you don't need to understanding anything about IPFS to either use or implement them) with the following properties: +

+
+
\ No newline at end of file diff --git a/cid.src.html b/cid.src.html index 271d09e..1ba0f10 100644 --- a/cid.src.html +++ b/cid.src.html @@ -6,10 +6,12 @@ Content IDs (CIDs) -

- DASL CIDs are a strict subset of IPFS CIDs - (but you don't need to understanding anything about IPFS to either use or implement them) with the following properties: -

+
+

+ DASL CIDs are a strict subset of IPFS CIDs + (but you don't need to understanding anything about IPFS to either use or implement them) with the following properties: +

+