mirror of
https://github.com/nix-community/home-manager
synced 2024-09-21 22:07:30 +02:00
14 lines
272 B
CSS
14 lines
272 B
CSS
.docbook .xref img[src^=images\/callouts\/],
|
|
.screen img,
|
|
.programlisting img {
|
|
width: 1em;
|
|
}
|
|
|
|
.calloutlist img {
|
|
width: 1.5em;
|
|
}
|
|
|
|
/** The console prompt, e.g., `$` and `#` should not be selectable. */
|
|
.programlisting.console .hljs-meta {
|
|
user-select: none;
|
|
}
|