2019-10-16 03:59:37 +08:00
|
|
|
.sphinxsidebar ul.current > li.current { font-weight: bold }
|
2020-03-14 22:16:52 +08:00
|
|
|
|
2020-08-03 00:01:34 +08:00
|
|
|
.gray { color: #555555 }
|
|
|
|
.purple { color: #551a8b }
|
|
|
|
.red { color: #FF0000 }
|
|
|
|
|
|
|
|
/* Color based on the Name.Function (.nf) class from pygments.css. */
|
|
|
|
.command { color: #005fd7 }
|
|
|
|
|
|
|
|
/* Color based on the Name.Constant (.no) class from pygments.css. */
|
|
|
|
.param { color: #00afff }
|
|
|
|
|
|
|
|
/* Color based on the Name.Constant (.no) class from pygments.css. */
|
|
|
|
/* Used for underlining file paths in interactive code examples. */
|
|
|
|
.param-valid-path { color: #00afff; text-decoration: underline }
|
|
|
|
|
|
|
|
/* Color based on the Generic.Prompt (.gp) class from pygments.css. */
|
|
|
|
.prompt { color: #8f5902 }
|
|
|
|
|
2020-03-14 22:16:52 +08:00
|
|
|
kbd {
|
|
|
|
background-color: #f9f9f9;
|
|
|
|
border: 1px solid #aaa;
|
|
|
|
border-radius: .2em;
|
|
|
|
box-shadow: 0.1em 0.1em 0.2em rgba(0,0,0,0.1);
|
|
|
|
color: #000;
|
|
|
|
padding: 0.1em 0.3em;
|
|
|
|
}
|