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.

1 files changed, 27 insertions, 0 deletions

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 */;
+    }
 }