From 635e4ff220714ad49b1e8a0a43410f627ef77c39 Mon Sep 17 00:00:00 2001 From: dmc Date: Wed, 14 Feb 2024 02:15:19 +0100 Subject: [PATCH] tweaks --- index.html | 85 ++++++++++++++++++++++++++++++------------------- lib/devtools.js | 5 +++ 2 files changed, 58 insertions(+), 32 deletions(-) diff --git a/index.html b/index.html index 3253a22..c5d9f53 100644 --- a/index.html +++ b/index.html @@ -182,34 +182,19 @@ pear-ctrl[data-platform="darwin"] { margin-top: 16px; + margin-left: 8px; } system-status, - docs-viewer, - developer-tooling { + docs-viewer { position: relative; top: 156px } - #version { - position: fixed; - top: 96vh; - font-size: .6rem; - background: #1a1a1a; - color: white; - opacity: 1; - padding: 8px; - padding-top: 0px; - padding-bottom: 0px; - transition: top 0.3s; - border-radius: .35rem; - border: 1px solid #3a4816; - } - - #version:hover { - top: 92vh; - transition: top 0.3s; - } + developer-tooling { + position: relative; + top: 96px + } a:visited, a:active, @@ -287,19 +272,55 @@
-
+
-
-

-

-
- + + diff --git a/lib/devtools.js b/lib/devtools.js index b24fc70..0d528c7 100644 --- a/lib/devtools.js +++ b/lib/devtools.js @@ -15,6 +15,11 @@ customElements.define('developer-tooling', class extends HTMLElement { this.template.innerHTML = `