From f6d32808f8486a944691d463356f46cd1c2c0940 Mon Sep 17 00:00:00 2001
From: sandbank52641 <153552626+sandbank52641@users.noreply.github.com>
Date: Sun, 14 Jul 2024 17:05:03 +0200
Subject: use Protobuf library for Python from PyPI

Even with fairly up-to-date packages, many Linux distributions have not
recent enough Python Protobuf packages. It's better to use the PyPI
package, which is published by Google, rather than the distribution
packages.

Ideally, adevtool could handle this (with pinned package version and
hash, and hash-checking), but due to many users encountering this issue,
this change should be reasonable for now.
---
 static/main.css | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

(limited to 'static/main.css')

diff --git a/static/main.css b/static/main.css
index 80ce0f2e..28e73dc1 100644
--- a/static/main.css
+++ b/static/main.css
@@ -329,6 +329,27 @@ main.normalize {
     margin: 0;
 }
 
+.notice {
+    border-radius: 12px;
+    border: 1px solid #74777f /* outline */;
+    background-color: #dae2f9 /* secondary container */;
+    color: #121c2b /* on secondary container */;
+    padding: 1em;
+    margin-block: 1em;
+}
+
+.notice-heading {
+    margin-block-start: 0;
+}
+
+.notice-heading::before {
+    content: "ⓘ ";
+}
+
+.notice pre {
+    margin-block-end: 0;
+}
+
 /* latin */
 @font-face {
     font-family: Roboto;
@@ -467,4 +488,10 @@ main.normalize {
     var {
         color: #ffb4ab;
     }
+
+    .notice {
+        border-color: #8e9099 /* outline */;
+        background-color: #3e4758 /* secondary container */;
+        color: #dae2f9 /* on secondary container */;
+    }
 }
-- 
cgit v1.3.1