mirror of
https://github.com/rvtr/wiki.git
synced 2025-10-31 06:31:13 -04:00
Use CSS for bash $
That way it doesn't copy it and looks distinct
This commit is contained in:
parent
947da7064e
commit
913d34df8b
@ -11,6 +11,7 @@
|
||||
--blockquote-color: #999;
|
||||
--code-bg: #5559;
|
||||
--code-color: #ddd;
|
||||
--code-light: #999;
|
||||
--a-color: #58a6ff;
|
||||
--small-color: gray;
|
||||
--carousel-caption-bg: #333b;
|
||||
|
||||
@ -11,6 +11,7 @@
|
||||
--blockquote-color: #666;
|
||||
--code-bg: #ccc6;
|
||||
--code-color: #333;
|
||||
--code-light: #999;
|
||||
--a-color: #0366d6;
|
||||
--small-color: gray;
|
||||
--carousel-caption-bg: #fffb;
|
||||
|
||||
@ -62,6 +62,11 @@ a > code {
|
||||
color: inherit!important;
|
||||
}
|
||||
|
||||
div.language-bash pre.highlight code::before {
|
||||
content: "$ ";
|
||||
color: var(--code-light);
|
||||
}
|
||||
|
||||
// .a is for making other things look like <a>s
|
||||
a, .a {
|
||||
text-decoration: none;
|
||||
|
||||
@ -11,7 +11,7 @@ The easiest way of customizing a theme is by editing the png textures in a theme
|
||||
|
||||
Changes to paletted textures are more involved. Within the `grit` and `background_grit` folders of a theme, the various image files may be edited. You will also require [devkitPro's toolchains](https://devkitpro.org) with GRIT installed. Once you have finished editing your files, you must run
|
||||
```bash
|
||||
$ make
|
||||
make
|
||||
```
|
||||
in order to compile your themes into Grit RIFF Format. This will compile your paletted textures into **.grf** format in the `grf` folder. Do not make changes to the `.grit` files until you have read the [advanced theming](#advanced-theming) section below.
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user