robojerk
4c0dcb2522
- Add mock-specific build artifacts (chroot/, mock-*, mockroot/) - Include package build files (*.deb, *.changes, *.buildinfo) - Add development tools (.coverage, .pytest_cache, .tox) - Include system files (.DS_Store, Thumbs.db, ._*) - Add temporary and backup files (*.tmp, *.bak, *.backup) - Include local configuration overrides (config.local.yaml, .env.local) - Add test artifacts and documentation builds - Comprehensive coverage for Python build system project This ensures build artifacts, chroot environments, and development tools are properly ignored in version control.
209 lines
2.8 KiB
SCSS
209 lines
2.8 KiB
SCSS
.highlight table td { padding: 5px; }
|
|
.highlight table pre { margin: 0; }
|
|
.highlight .cm {
|
|
color: #777772;
|
|
font-style: italic;
|
|
}
|
|
.highlight .cp {
|
|
color: #797676;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .c1 {
|
|
color: #777772;
|
|
font-style: italic;
|
|
}
|
|
.highlight .cs {
|
|
color: #797676;
|
|
font-weight: bold;
|
|
font-style: italic;
|
|
}
|
|
.highlight .c, .highlight .cd {
|
|
color: #777772;
|
|
font-style: italic;
|
|
}
|
|
.highlight .err {
|
|
color: #a61717;
|
|
background-color: #e3d2d2;
|
|
}
|
|
.highlight .gd {
|
|
color: #000000;
|
|
background-color: #ffdddd;
|
|
}
|
|
.highlight .ge {
|
|
color: #000000;
|
|
font-style: italic;
|
|
}
|
|
.highlight .gr {
|
|
color: #aa0000;
|
|
}
|
|
.highlight .gh {
|
|
color: #797676;
|
|
}
|
|
.highlight .gi {
|
|
color: #000000;
|
|
background-color: #ddffdd;
|
|
}
|
|
.highlight .go {
|
|
color: #888888;
|
|
}
|
|
.highlight .gp {
|
|
color: #555555;
|
|
}
|
|
.highlight .gs {
|
|
font-weight: bold;
|
|
}
|
|
.highlight .gu {
|
|
color: #aaaaaa;
|
|
}
|
|
.highlight .gt {
|
|
color: #aa0000;
|
|
}
|
|
.highlight .kc {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kd {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kn {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kp {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kr {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .kt {
|
|
color: #445588;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .k, .highlight .kv {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .mf {
|
|
color: #009999;
|
|
}
|
|
.highlight .mh {
|
|
color: #009999;
|
|
}
|
|
.highlight .il {
|
|
color: #009999;
|
|
}
|
|
.highlight .mi {
|
|
color: #009999;
|
|
}
|
|
.highlight .mo {
|
|
color: #009999;
|
|
}
|
|
.highlight .m, .highlight .mb, .highlight .mx {
|
|
color: #009999;
|
|
}
|
|
.highlight .sb {
|
|
color: #d14;
|
|
}
|
|
.highlight .sc {
|
|
color: #d14;
|
|
}
|
|
.highlight .sd {
|
|
color: #d14;
|
|
}
|
|
.highlight .s2 {
|
|
color: #d14;
|
|
}
|
|
.highlight .se {
|
|
color: #d14;
|
|
}
|
|
.highlight .sh {
|
|
color: #d14;
|
|
}
|
|
.highlight .si {
|
|
color: #d14;
|
|
}
|
|
.highlight .sx {
|
|
color: #d14;
|
|
}
|
|
.highlight .sr {
|
|
color: #009926;
|
|
}
|
|
.highlight .s1 {
|
|
color: #d14;
|
|
}
|
|
.highlight .ss {
|
|
color: #990073;
|
|
}
|
|
.highlight .s {
|
|
color: #d14;
|
|
}
|
|
.highlight .na {
|
|
color: #008080;
|
|
}
|
|
.highlight .bp {
|
|
color: #797676;
|
|
}
|
|
.highlight .nb {
|
|
color: #0086B3;
|
|
}
|
|
.highlight .nc {
|
|
color: #445588;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .no {
|
|
color: #008080;
|
|
}
|
|
.highlight .nd {
|
|
color: #3c5d5d;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .ni {
|
|
color: #800080;
|
|
}
|
|
.highlight .ne {
|
|
color: #990000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .nf {
|
|
color: #990000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .nl {
|
|
color: #990000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .nn {
|
|
color: #555555;
|
|
}
|
|
.highlight .nt {
|
|
color: #000080;
|
|
}
|
|
.highlight .vc {
|
|
color: #008080;
|
|
}
|
|
.highlight .vg {
|
|
color: #008080;
|
|
}
|
|
.highlight .vi {
|
|
color: #008080;
|
|
}
|
|
.highlight .nv {
|
|
color: #008080;
|
|
}
|
|
.highlight .ow {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .o {
|
|
color: #000000;
|
|
font-weight: bold;
|
|
}
|
|
.highlight .w {
|
|
color: #bbbbbb;
|
|
}
|
|
.highlight {
|
|
background-color: #f8f8f8;
|
|
}
|