216 lines
4.9 KiB
SCSS
216 lines
4.9 KiB
SCSS
|
@mixin round_corners_custom($top, $right, $bottom, $left) {
|
||
|
|
-moz-border-radius: $top $right $bottom $left !important;
|
||
|
|
-webkit-border-radius: $top $right $bottom $left !important;
|
||
|
|
}
|
||
|
|
|
||
|
|
@mixin round_corners($radius) {
|
||
|
|
@include round_corners_custom($radius, $radius, $radius, $radius);
|
||
|
|
}
|
||
|
|
|
||
|
|
.syntaxhighlighter {
|
||
|
|
a,
|
||
|
|
div,
|
||
|
|
code,
|
||
|
|
table,
|
||
|
|
table td,
|
||
|
|
table tr,
|
||
|
|
table tbody,
|
||
|
|
table thead,
|
||
|
|
table caption,
|
||
|
|
textarea {
|
||
|
|
@include round_corners(0);
|
||
|
|
|
||
|
|
background: none !important;
|
||
|
|
border: 0 !important;
|
||
|
|
bottom: auto !important;
|
||
|
|
float: none !important;
|
||
|
|
height: auto !important;
|
||
|
|
left: auto !important;
|
||
|
|
line-height: 1.1em !important;
|
||
|
|
margin: 0 !important;
|
||
|
|
outline: 0 !important;
|
||
|
|
overflow: visible !important;
|
||
|
|
padding: 0 !important;
|
||
|
|
position: static !important;
|
||
|
|
right: auto !important;
|
||
|
|
text-align: left !important;
|
||
|
|
top: auto !important;
|
||
|
|
vertical-align: baseline !important;
|
||
|
|
width: auto !important;
|
||
|
|
box-sizing: content-box !important;
|
||
|
|
font: {
|
||
|
|
family: "Consolas", "Bitstream Vera Sans Mono", "Courier New", Courier, monospace !important;
|
||
|
|
weight: normal !important;
|
||
|
|
style: normal !important;
|
||
|
|
size: 1em !important;
|
||
|
|
}
|
||
|
|
min: {
|
||
|
|
// For IE8, FF & WebKit
|
||
|
|
height: inherit !important;
|
||
|
|
// For IE7
|
||
|
|
height: auto !important;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
.syntaxhighlighter {
|
||
|
|
width: 100% !important;
|
||
|
|
margin: 1em 0 1em 0 !important;
|
||
|
|
|
||
|
|
position: relative !important;
|
||
|
|
overflow: auto !important;
|
||
|
|
font-size: 1em !important;
|
||
|
|
|
||
|
|
&.source { overflow: hidden !important; }
|
||
|
|
|
||
|
|
// set up bold and italic
|
||
|
|
.bold { font-weight: bold !important; }
|
||
|
|
.italic { font-style: italic !important; }
|
||
|
|
|
||
|
|
.line { white-space: pre !important; }
|
||
|
|
|
||
|
|
// main table and columns
|
||
|
|
table {
|
||
|
|
width: 100% !important;
|
||
|
|
caption {
|
||
|
|
text-align: left !important;
|
||
|
|
padding: .5em 0 0.5em 1em !important;
|
||
|
|
}
|
||
|
|
|
||
|
|
td.code {
|
||
|
|
width: 100% !important;
|
||
|
|
|
||
|
|
.container {
|
||
|
|
position: relative !important;
|
||
|
|
|
||
|
|
textarea {
|
||
|
|
box-sizing: border-box !important;
|
||
|
|
position: absolute !important;
|
||
|
|
left: 0 !important;
|
||
|
|
top: 0 !important;
|
||
|
|
width: 100% !important;
|
||
|
|
height: 100% !important;
|
||
|
|
border: none !important;
|
||
|
|
background: white !important;
|
||
|
|
padding-left: 1em !important;
|
||
|
|
overflow: hidden !important;
|
||
|
|
white-space: pre !important;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
// middle spacing between line numbers and lines
|
||
|
|
td.gutter .line {
|
||
|
|
text-align: right !important;
|
||
|
|
padding: 0 0.5em 0 1em !important;
|
||
|
|
}
|
||
|
|
|
||
|
|
td.code .line {
|
||
|
|
padding: 0 1em !important;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
&.nogutter {
|
||
|
|
td.code {
|
||
|
|
.container textarea, .line { padding-left: 0em !important; }
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
&.show { display: block !important; }
|
||
|
|
|
||
|
|
// Adjust some properties when collapsed
|
||
|
|
&.collapsed {
|
||
|
|
table { display: none !important; }
|
||
|
|
|
||
|
|
.toolbar {
|
||
|
|
padding: 0.1em 0.8em 0em 0.8em !important;
|
||
|
|
font-size: 1em !important;
|
||
|
|
position: static !important;
|
||
|
|
width: auto !important;
|
||
|
|
height: auto !important;
|
||
|
|
|
||
|
|
span {
|
||
|
|
display: inline !important;
|
||
|
|
margin-right: 1em !important;
|
||
|
|
|
||
|
|
a {
|
||
|
|
padding: 0 !important;
|
||
|
|
display: none !important;
|
||
|
|
&.expandSource { display: inline !important; }
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
// Styles for the toolbar
|
||
|
|
.toolbar {
|
||
|
|
position: absolute !important;
|
||
|
|
right: 1px !important;
|
||
|
|
top: 1px !important;
|
||
|
|
width: 11px !important;
|
||
|
|
height: 11px !important;
|
||
|
|
font-size: 10px !important;
|
||
|
|
z-index: 10 !important;
|
||
|
|
|
||
|
|
span.title { display: inline !important; }
|
||
|
|
|
||
|
|
a {
|
||
|
|
display: block !important;
|
||
|
|
text-align: center !important;
|
||
|
|
text-decoration: none !important;
|
||
|
|
padding-top: 1px !important;
|
||
|
|
|
||
|
|
&.expandSource { display: none !important; }
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
&.ie {
|
||
|
|
font-size: .9em !important;
|
||
|
|
padding: 1px 0 1px 0 !important;
|
||
|
|
|
||
|
|
.toolbar {
|
||
|
|
line-height: 8px !important;
|
||
|
|
a {
|
||
|
|
padding-top: 0px !important;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
// Print view.
|
||
|
|
// Colors are based on the default theme without background.
|
||
|
|
&.printing {
|
||
|
|
.line.alt1 .content,
|
||
|
|
.line.alt2 .content,
|
||
|
|
.line.highlighted .number,
|
||
|
|
.line.highlighted.alt1 .content,
|
||
|
|
.line.highlighted.alt2 .content { background: none !important; }
|
||
|
|
|
||
|
|
// Gutter line numbers
|
||
|
|
.line {
|
||
|
|
.number { color: #bbbbbb !important; }
|
||
|
|
// Add border to the lines
|
||
|
|
.content { color: black !important; }
|
||
|
|
}
|
||
|
|
|
||
|
|
// Toolbar when visible
|
||
|
|
.toolbar { display: none !important; }
|
||
|
|
a { text-decoration: none !important; }
|
||
|
|
.plain, .plain a { color: black !important; }
|
||
|
|
.comments, .comments a { color: #008200 !important; }
|
||
|
|
.string, .string a { color: blue !important; }
|
||
|
|
.keyword {
|
||
|
|
color: #006699 !important;
|
||
|
|
font-weight: bold !important;
|
||
|
|
}
|
||
|
|
.preprocessor { color: gray !important; }
|
||
|
|
.variable { color: #aa7700 !important; }
|
||
|
|
.value { color: #009900 !important; }
|
||
|
|
.functions { color: #ff1493 !important; }
|
||
|
|
.constants { color: #0066cc !important; }
|
||
|
|
.script { font-weight: bold !important; }
|
||
|
|
.color1, .color1 a { color: gray !important; }
|
||
|
|
.color2, .color2 a { color: #ff1493 !important; }
|
||
|
|
.color3, .color3 a { color: red !important; }
|
||
|
|
.break, .break a { color: black !important; }
|
||
|
|
}
|
||
|
|
}
|