From 9225e707b8807135ea4544349592aad574862014 Mon Sep 17 00:00:00 2001 From: Brian McGee Date: Mon, 30 Jun 2025 18:18:02 +0100 Subject: [PATCH] docs: wip styling of options --- docs/overrides/options.css | 0 docs/overrides/options.html | 10 +---- docs/site/options.md | 83 +++++++++++++++++++++++++++++++++++- docs/site/static/extra.css | 4 ++ docs/site/static/options.css | 42 ++++++++++++++++++ 5 files changed, 129 insertions(+), 10 deletions(-) create mode 100644 docs/overrides/options.css create mode 100644 docs/site/static/options.css diff --git a/docs/overrides/options.css b/docs/overrides/options.css new file mode 100644 index 000000000..e69de29bb diff --git a/docs/overrides/options.html b/docs/overrides/options.html index 45544c55a..32d7c09f0 100644 --- a/docs/overrides/options.html +++ b/docs/overrides/options.html @@ -1,14 +1,6 @@ {% extends "base.html" %} {% block extrahead %} {% endblock %} {% block site_nav %}{% endblock %} {% block content %} {{ page.content }} {% endblock %} diff --git a/docs/site/options.md b/docs/site/options.md index ee666e02d..8b6862e44 100644 --- a/docs/site/options.md +++ b/docs/site/options.md @@ -2,5 +2,86 @@ template: options.html --- + + + + +[asciinema-player](static/asciinema-player) \ No newline at end of file diff --git a/docs/site/static/extra.css b/docs/site/static/extra.css index e4346b908..b7349eb3d 100644 --- a/docs/site/static/extra.css +++ b/docs/site/static/extra.css @@ -20,3 +20,7 @@ .md-nav__item.md-nav__item--section > label > span { color: var(--md-typeset-a-color); } + +iframe { + border: none; +} \ No newline at end of file diff --git a/docs/site/static/options.css b/docs/site/static/options.css new file mode 100644 index 000000000..24c9004a4 --- /dev/null +++ b/docs/site/static/options.css @@ -0,0 +1,42 @@ +@font-face { + font-family: "Roboto"; + src: url(./Roboto-Regular.ttf) format("truetype"); +} + +@font-face { + font-family: "Fira Code"; + src: url(./FiraCode-VF.ttf) format("truetype"); +} + +:root { + --f-family: "Roboto"; + --f-family-mono: "Fira Code"; + + --c-page: var(--md-default-bg-color); + --c-card: transparent; +} + +header h1 { + color: var(--md-default-fg-color--light); +} + +div.card { + border: .05rem solid var(--md-default-fg-color--lightest) !important; +} + + +form { + label { + gap: 1rem; + + input { + background-color: #00000042 !important; + + &:hover { + background-color: #ffffff1f !important; + } + } + } +} + +