New make options

This commit is contained in:
Manuel Ebert 2014-06-30 11:14:25 +02:00
parent be1a90db3d
commit 5b4e89f081
4 changed files with 17 additions and 10 deletions

View file

@ -108,15 +108,11 @@ a:hover, a:active
{
background:transparent !important;
}
.highlight-output
{
.pre-block;
background: desaturate(lighten(@terminal,10), 10);
}
.highlight-javascript
.highlight-output, .highlight-javascript, .highlight-sh
{
.pre-block;
background: desaturate(lighten(@terminal,10), 10);
pre {color: white;}
}
.highlight-python
{