Support: provide highlighting

This highlights the blockquote when targeting one of the quotes
via the URL's fragment:

    https://rust-for-linux.com/industry-and-academia-support#Samsung

It does so in a color that works for all themes (having said that,
I just used one of the existing colors the themes provide --
CSS Color Module Level 5 cannot come soon enough).

Signed-off-by: Miguel Ojeda <[email protected]>

Author: ojeda

post.py

@@ -82,6 +82,14 @@ def process(path, content, html_menu, html_index_toc):
             margin-bottom: -0.3em !important;
             margin-top: 1em !important;
         }
+
+        .quote-highlight:target {
+            /*
+             * `--table-header-bg` is used as an existing color in the themes
+             * that is good enough for highlighting the `blockquote`s.
+             */
+            background-color: var(--table-header-bg);
+        }
         </style>
     """)
 

src/Industry-and-academia-support.md

@@ -1,13 +1,13 @@
 # Industry and academia support
 
-<blockquote id="Google">
+<blockquote id="Google" class="quote-highlight">
 <p>“Google supports and contributes directly to the Rust for Linux project. Our Android team is evaluating a new Binder implementation and considering other drivers where Rust could be adopted.”</p>
 </blockquote>
 
 — [Google](https://lore.kernel.org/lkml/[email protected]/), 2021.
 
 
-<blockquote id="Arm">
+<blockquote id="Arm" class="quote-highlight">
 <p>“Arm recognises the Rust value proposition and is actively working with the Rust community to improve Rust for Arm based systems.
 A good example is Arm’s RFC contribution to the Rust language which made Linux on 64-bit Arm systems a Tier-1 Rust supported platform.</p>
 <p>Rustaceans at Arm are excited about the Rust for Linux initiative and look forward to assisting in this effort.”</p>
@@ -16,42 +16,42 @@ A good example is Arm’s RFC contribution to the Rust language which made Linux
 — [Arm](https://lore.kernel.org/lkml/[email protected]/), 2021-06-29.
 
 
-<blockquote id="Microsoft">
+<blockquote id="Microsoft" class="quote-highlight">
 <p>“Microsoft's Linux Systems Group is interested in contributing to getting Rust into Linux kernel. Hopefully we will be able to submit select Hyper-V drivers written in Rust in the coming months.”</p>
 </blockquote>
 
 — [Microsoft](https://lore.kernel.org/lkml/[email protected]/), 2021-06-29.
 
 
-<blockquote id="RedHat">
+<blockquote id="RedHat" class="quote-highlight">
 <p>“There is interest in using Rust for kernel work that Red Hat is considering.”</p>
 </blockquote>
 
 — [Red Hat](https://lore.kernel.org/lkml/[email protected]/), 2021-07-08.
 
 
-<blockquote id="Anderson">
+<blockquote id="Anderson" class="quote-highlight">
 <p>“Rust for Linux is a key step towards reducing security-critical kernel bugs, and on the path towards our ultimate goal of making Linux free of security-critical bugs. We are using Rust in our OS research, and adoption is easier with an existing Rust in the Linux kernel framework in place.”</p>
 </blockquote>
 
 — Thomas Anderson, University of Washington, 2022-06-23.
 
 
-<blockquote id="BlancCohenSchmidt">
+<blockquote id="BlancCohenSchmidt" class="quote-highlight">
 <p>“We are convinced that Rust is changing the landscape of system programming by applying the research done on programming languages in the last decades. We wanted to see how the language was able to help us write code we are really comfortable with thanks to the extensive static checking.”</p>
 </blockquote>
 
 — Esteban Blanc, Arthur Cohen and Martin Schmidt, LSE (Systems Research Laboratory) at EPITA (École pour l'informatique et les techniques avancées), 2022-06-23.
 
 
-<blockquote id="ISRG">
+<blockquote id="ISRG" class="quote-highlight">
 <p>“Being able to use Rust in the Linux kernel is an incredible milestone on the road to a more secure future for the Internet and everything else that depends heavily on Linux.”</p>
 </blockquote>
 
 — [ISRG's Prossimo Project](https://www.memorysafety.org/blog/rust-in-linux-just-the-beginning/), 2022-10-18.
 
 
-<blockquote id="Samsung">
+<blockquote id="Samsung" class="quote-highlight">
 <p>“Samsung is actively engaged in supporting the integration of Rust code into the Linux Kernel. Recognizing the significant benefits that Rust brings to kernel and system software development, particularly in terms of enhancing security and reducing critical bugs, Samsung is committed to enabling kernel developers to write block layer device drivers using the Rust programming language. By embracing modern programming languages like Rust, Samsung aims to attract new talent to systems development and promote memory safety within the Linux storage stack.”</p>
 </blockquote>