Make the hilighted command prompts not selectable

This avoids mistakes where the "$" is copied and pasted in a terminal.
The "Copy to clipboard" button still copies it. I don't know how to prevent that.

Author: lazka

web/docs/autotools.md

@@ -31,11 +31,11 @@ These wrappers are developed by [Gentoo Linux](https://devmanual.gentoo.org/gene
 
 Some projects require their configure scripts to be updated to make them build successfully:
 
-```bash
-> pacman -S "${MINGW_PACKAGE_PREFIX}-autotools"
-> autoreconf -fvi
-> ./configure
-> make
+```console
+$ pacman -S "${MINGW_PACKAGE_PREFIX}-autotools"
+$ autoreconf -fvi
+$ ./configure
+$ make
 ...
 ```
 

web/index.md

@@ -58,7 +58,7 @@ MSYS2 and what for.
 6. You will probably want to install some tools like the mingw-w64 GCC to start compiling projects. Run the following command:
 
     ```console
-    pacman -S mingw-w64-ucrt-x86_64-gcc
+    $ pacman -S mingw-w64-ucrt-x86_64-gcc
     ```
 
 7. The terminal window will show the output as below. Press 'Enter' to continue:

web/stylesheets/extra.css

@@ -189,4 +189,12 @@ body {
     color: transparent;
     flex: 1;
     filter: var(--msys2-invert-filter);
-}
+}
+
+
+/* make the console prompt not selectable */
+.highlight .gp {
+    opacity: 0.75;
+    user-select: none;
+}
+