| 1 | <script class="brush: sass;" type="syntaxhighlighter"> |
|---|
| 2 | @mixin round_corners_custom($top, $right, $bottom, $left) { |
|---|
| 3 | -moz-border-radius: $top $right $bottom $left !important; |
|---|
| 4 | -webkit-border-radius: $top $right $bottom $left !important; |
|---|
| 5 | } |
|---|
| 6 | |
|---|
| 7 | @mixin round_corners($radius) { |
|---|
| 8 | @include round_corners_custom($radius, $radius, $radius, $radius); |
|---|
| 9 | } |
|---|
| 10 | |
|---|
| 11 | .syntaxhighlighter { |
|---|
| 12 | a, |
|---|
| 13 | div, |
|---|
| 14 | code, |
|---|
| 15 | table, |
|---|
| 16 | table td, |
|---|
| 17 | table tr, |
|---|
| 18 | table tbody, |
|---|
| 19 | table thead, |
|---|
| 20 | table caption, |
|---|
| 21 | textarea { |
|---|
| 22 | @include round_corners(0); |
|---|
| 23 | |
|---|
| 24 | background: none !important; |
|---|
| 25 | border: 0 !important; |
|---|
| 26 | bottom: auto !important; |
|---|
| 27 | float: none !important; |
|---|
| 28 | height: auto !important; |
|---|
| 29 | left: auto !important; |
|---|
| 30 | line-height: 1.1em !important; |
|---|
| 31 | margin: 0 !important; |
|---|
| 32 | outline: 0 !important; |
|---|
| 33 | overflow: visible !important; |
|---|
| 34 | padding: 0 !important; |
|---|
| 35 | position: static !important; |
|---|
| 36 | right: auto !important; |
|---|
| 37 | text-align: left !important; |
|---|
| 38 | top: auto !important; |
|---|
| 39 | vertical-align: baseline !important; |
|---|
| 40 | width: auto !important; |
|---|
| 41 | font: { |
|---|
| 42 | family: "Consolas", "Bitstream Vera Sans Mono", "Courier New", Courier, monospace !important; |
|---|
| 43 | weight: normal !important; |
|---|
| 44 | style: normal !important; |
|---|
| 45 | size: 1em !important; |
|---|
| 46 | } |
|---|
| 47 | min: { |
|---|
| 48 | // For IE8, FF & WebKit |
|---|
| 49 | height: inherit !important; |
|---|
| 50 | // For IE7 |
|---|
| 51 | height: auto !important; |
|---|
| 52 | } |
|---|
| 53 | } |
|---|
| 54 | } |
|---|
| 55 | |
|---|
| 56 | .syntaxhighlighter { |
|---|
| 57 | width: 100% !important; |
|---|
| 58 | margin: 1em 0 1em 0 !important; |
|---|
| 59 | |
|---|
| 60 | position: relative !important; |
|---|
| 61 | overflow: auto !important; |
|---|
| 62 | font-size: 1em !important; |
|---|
| 63 | |
|---|
| 64 | &.source { overflow: hidden !important; } |
|---|
| 65 | |
|---|
| 66 | // set up bold and italic |
|---|
| 67 | .bold { font-weight: bold !important; } |
|---|
| 68 | .italic { font-style: italic !important; } |
|---|
| 69 | |
|---|
| 70 | .line { white-space: pre !important; } |
|---|
| 71 | |
|---|
| 72 | // main table and columns |
|---|
| 73 | table { |
|---|
| 74 | width: 100% !important; |
|---|
| 75 | caption { |
|---|
| 76 | text-align: left !important; |
|---|
| 77 | padding: .5em 0 0.5em 1em !important; |
|---|
| 78 | } |
|---|
| 79 | |
|---|
| 80 | td.code { |
|---|
| 81 | width: 100% !important; |
|---|
| 82 | |
|---|
| 83 | .container { |
|---|
| 84 | position: relative !important; |
|---|
| 85 | |
|---|
| 86 | textarea { |
|---|
| 87 | position: absolute !important; |
|---|
| 88 | left: 0 !important; |
|---|
| 89 | top: 0 !important; |
|---|
| 90 | width: 100% !important; |
|---|
| 91 | height: 120% !important; |
|---|
| 92 | border: none !important; |
|---|
| 93 | background: white !important; |
|---|
| 94 | padding-left: 1em !important; |
|---|
| 95 | overflow: hidden !important; |
|---|
| 96 | white-space: pre !important; |
|---|
| 97 | } |
|---|
| 98 | } |
|---|
| 99 | } |
|---|
| 100 | |
|---|
| 101 | // middle spacing between line numbers and lines |
|---|
| 102 | td.gutter .line { |
|---|
| 103 | text-align: right !important; |
|---|
| 104 | padding: 0 0.5em 0 1em !important; |
|---|
| 105 | } |
|---|
| 106 | |
|---|
| 107 | td.code .line { |
|---|
| 108 | padding: 0 1em !important; |
|---|
| 109 | } |
|---|
| 110 | } |
|---|
| 111 | |
|---|
| 112 | &.nogutter { |
|---|
| 113 | td.code { |
|---|
| 114 | .container textarea, .line { padding-left: 0em !important; } |
|---|
| 115 | } |
|---|
| 116 | } |
|---|
| 117 | |
|---|
| 118 | &.show { display: block !important; } |
|---|
| 119 | |
|---|
| 120 | // Adjust some properties when collapsed |
|---|
| 121 | &.collapsed { |
|---|
| 122 | table { display: none !important; } |
|---|
| 123 | |
|---|
| 124 | .toolbar { |
|---|
| 125 | padding: 0.1em 0.8em 0em 0.8em !important; |
|---|
| 126 | font-size: 1em !important; |
|---|
| 127 | position: static !important; |
|---|
| 128 | width: auto !important; |
|---|
| 129 | height: auto !important; |
|---|
| 130 | |
|---|
| 131 | span { |
|---|
| 132 | display: inline !important; |
|---|
| 133 | margin-right: 1em !important; |
|---|
| 134 | |
|---|
| 135 | a { |
|---|
| 136 | padding: 0 !important; |
|---|
| 137 | display: none !important; |
|---|
| 138 | &.expandSource, &.help { display: inline !important; } |
|---|
| 139 | } |
|---|
| 140 | } |
|---|
| 141 | } |
|---|
| 142 | } |
|---|
| 143 | |
|---|
| 144 | // Styles for the toolbar |
|---|
| 145 | .toolbar { |
|---|
| 146 | position: absolute !important; |
|---|
| 147 | right: 1px !important; |
|---|
| 148 | top: 1px !important; |
|---|
| 149 | width: 11px !important; |
|---|
| 150 | height: 11px !important; |
|---|
| 151 | font-size: 10px !important; |
|---|
| 152 | z-index: 10 !important; |
|---|
| 153 | |
|---|
| 154 | span.title { display: inline !important; } |
|---|
| 155 | |
|---|
| 156 | a { |
|---|
| 157 | display: block !important; |
|---|
| 158 | text-align: center !important; |
|---|
| 159 | text-decoration: none !important; |
|---|
| 160 | padding-top: 1px !important; |
|---|
| 161 | |
|---|
| 162 | &.expandSource { display: none !important; } |
|---|
| 163 | } |
|---|
| 164 | } |
|---|
| 165 | |
|---|
| 166 | // Print view. |
|---|
| 167 | // Colors are based on the default theme without background. |
|---|
| 168 | &.printing { |
|---|
| 169 | .line.alt1 .content, |
|---|
| 170 | .line.alt2 .content, |
|---|
| 171 | .line.highlighted .number, |
|---|
| 172 | .line.highlighted.alt1 .content, |
|---|
| 173 | .line.highlighted.alt2 .content { background: none !important; } |
|---|
| 174 | |
|---|
| 175 | // Gutter line numbers |
|---|
| 176 | .line { |
|---|
| 177 | .number { color: #bbbbbb !important; } |
|---|
| 178 | // Add border to the lines |
|---|
| 179 | .content { color: black !important; } |
|---|
| 180 | } |
|---|
| 181 | |
|---|
| 182 | // Toolbar when visible |
|---|
| 183 | .toolbar { display: none !important; } |
|---|
| 184 | a { text-decoration: none !important; } |
|---|
| 185 | .plain, .plain a { color: black !important; } |
|---|
| 186 | .comments, .comments a { color: #008200 !important; } |
|---|
| 187 | .string, .string a { color: blue !important; } |
|---|
| 188 | .keyword { |
|---|
| 189 | color: #006699 !important; |
|---|
| 190 | font-weight: bold !important; |
|---|
| 191 | } |
|---|
| 192 | .preprocessor { color: gray !important; } |
|---|
| 193 | .variable { color: #aa7700 !important; } |
|---|
| 194 | .value { color: #009900 !important; } |
|---|
| 195 | .functions { color: #ff1493 !important; } |
|---|
| 196 | .constants { color: #0066cc !important; } |
|---|
| 197 | .script { font-weight: bold !important; } |
|---|
| 198 | .color1, .color1 a { color: gray !important; } |
|---|
| 199 | .color2, .color2 a { color: #ff1493 !important; } |
|---|
| 200 | .color3, .color3 a { color: red !important; } |
|---|
| 201 | .break, .break a { color: black !important; } |
|---|
| 202 | } |
|---|
| 203 | } |
|---|
| 204 | </script> |
|---|
