pre {
color: @navbar-inverse-color;
background-color: @navbar-inverse-bg;
&:hover {
border: 1px solid @navbar-default-border;
}
}
table {
}
table td {
background-color: @navbar-inverse-bg;
}
.new {
background-color: darken(@alert-success-bg, 50%);
color: lighten(@alert-success-text, 50%)
}
.old {
background-color: darken(@alert-danger-bg, 50%);
color: lighten(@alert-danger-text, 50%)
}
.chunk {
background-color: @navbar-inverse-bg;
color: @navbar-inverse-color;
}
.lineNo {
background-color: @navbar-inverse-bg !important;
color: @navbar-default-color !important;
border-right: 1px solid @navbar-default-border !important;;
}
.lineNo a {
color: @navbar-inverse-color !important;
}
}
#sourcecode {
}
.image-blob {
}
}
}
