mirror of
https://github.com/Jermolene/TiddlyWiki5
synced 2024-11-30 13:29:56 +00:00
61 lines
2.0 KiB
Plaintext
61 lines
2.0 KiB
Plaintext
// JavaScript syntax highlighting
|
|
|
|
.javascript-source {
|
|
border: 1px solid #888;
|
|
padding: 18px 18px 18px 18px;
|
|
.box-shadow(inset 1px 1px 1px 1px rgba(0, 0, 0, 0.2));
|
|
// TODO: Less doesn't seem to like my tab-size mixin
|
|
// .tab-size(4);
|
|
}
|
|
|
|
.javascript-source .javascript-boolean {
|
|
color: #066;
|
|
}
|
|
|
|
.javascript-source .javascript-identifier {
|
|
color: #606;
|
|
}
|
|
|
|
.javascript-source .javascript-keyword {
|
|
color: #008;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.javascript-source .javascript-null {
|
|
color: #080;
|
|
}
|
|
|
|
.javascript-source .javascript-numeric {
|
|
color: #066;
|
|
}
|
|
|
|
.javascript-source .javascript-punctuator {
|
|
color: #660;
|
|
}
|
|
|
|
.javascript-source .javascript-string {
|
|
color: #080;
|
|
}
|
|
|
|
.javascript-source .javascript-comment {
|
|
color: #800;
|
|
padding: 4px 4px 4px 4px;
|
|
border: 1px solid #feed77;
|
|
background: #feed77;
|
|
background: -webkit-gradient(linear,left top,left bottom,color-stop(0%,#dede80),color-stop(7%,#feed77),color-stop(92%,#feed77),color-stop(100%,#dede80));
|
|
background: -webkit-linear-gradient(72deg,rgba(255, 255, 255, 0.5) 8%,rgba(255, 255, 255, 0.1) 80%),-webkit-linear-gradient(top,#dede80 0,#feed77 7%,#feed77 92%,#dede80 100%);
|
|
background: -moz-linear-gradient(72deg,rgba(255, 255, 255, 0.5) 8%,rgba(255, 255, 255, 0.1) 80%), -moz-linear-gradient(top,#dede80 0,#feed77 7%,#feed77 92%,#dede80 100%);
|
|
background: -o-linear-gradient(72deg,rgba(255, 255, 255, 0.5) 8%,rgba(255, 255, 255, 0.1) 80%), -o-linear-gradient(top,#dede80 0,#feed77 7%,#feed77 92%,#dede80 100%);
|
|
background: -ms-linear-gradient(72deg,rgba(255, 255, 255, 0.5) 8%,rgba(255, 255, 255, 0.1) 80%), -ms-linear-gradient(top,#dede80 0,#feed77 7%,#feed77 92%,#dede80 100%);
|
|
background: linear-gradient(72deg,rgba(255, 255, 255, 0.5) 8%,rgba(255, 255, 255, 0.1) 80%), linear-gradient(top,#dede80 0,#feed77 7%,#feed77 92%,#dede80 100%);
|
|
.box-shadow(1px 1px 6px rgba(0,0,0,0.4));
|
|
}
|
|
|
|
.javascript-source .javascript-block-comment {
|
|
font-family: @sansFontFamily;
|
|
}
|
|
|
|
.javascript-source .javascript-line-comment {
|
|
font-family: @sansFontFamily;
|
|
}
|