| 1 | @mixin round_corners_custom($top, $right, $bottom, $left) { |
|---|
| 2 | -moz-border-radius: $top $right $bottom $left !important; |
|---|
| 3 | -webkit-border-radius: $top $right $bottom $left !important; |
|---|
| 4 | } |
|---|
| 5 | |
|---|
| 6 | @mixin round_corners($radius) { |
|---|
| 7 | @include round_corners_custom($radius, $radius, $radius, $radius); |
|---|
| 8 | } |
|---|
| 9 | |
|---|
| 10 | .syntaxhighlighter { |
|---|
| 11 | a, |
|---|
| 12 | div, |
|---|
| 13 | code, |
|---|
| 14 | table, |
|---|
| 15 | table td, |
|---|
| 16 | table tr, |
|---|
| 17 | table tbody, |
|---|
| 18 | table thead, |
|---|
| 19 | table caption, |
|---|
| 20 | textarea { |
|---|
| 21 | @include round_corners(0); |
|---|
| 22 | |
|---|
| 23 | background: none !important; |
|---|
| 24 | border: 0 !important; |
|---|
| 25 | bottom: auto !important; |
|---|
| 26 | float: none !important; |
|---|
| 27 | height: auto !important; |
|---|
| 28 | left: auto !important; |
|---|
| 29 | line-height: 1.1em !important; |
|---|
| 30 | margin: 0 !important; |
|---|
| 31 | outline: 0 !important; |
|---|
| 32 | overflow: visible !important; |
|---|
| 33 | padding: 0 !important; |
|---|
| 34 | position: static !important; |
|---|
| 35 | right: auto !important; |
|---|
| 36 | text-align: left !important; |
|---|
| 37 | top: auto !important; |
|---|
| 38 | vertical-align: baseline !important; |
|---|
| 39 | width: auto !important; |
|---|
| 40 | box-sizing: content-box !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 | box-sizing: border-box !important; |
|---|
| 88 | position: absolute !important; |
|---|
| 89 | left: 0 !important; |
|---|
| 90 | top: 0 !important; |
|---|
| 91 | width: 100% !important; |
|---|
| 92 | height: 100% !important; |
|---|
| 93 | border: none !important; |
|---|
| 94 | background: white !important; |
|---|
| 95 | padding-left: 1em !important; |
|---|
| 96 | overflow: hidden !important; |
|---|
| 97 | white-space: pre !important; |
|---|
| 98 | } |
|---|
| 99 | } |
|---|
| 100 | } |
|---|
| 101 | |
|---|
| 102 | // middle spacing between line numbers and lines |
|---|
| 103 | td.gutter .line { |
|---|
| 104 | text-align: right !important; |
|---|
| 105 | padding: 0 0.5em 0 1em !important; |
|---|
| 106 | } |
|---|
| 107 | |
|---|
| 108 | td.code .line { |
|---|
| 109 | padding: 0 1em !important; |
|---|
| 110 | } |
|---|
| 111 | } |
|---|
| 112 | |
|---|
| 113 | &.nogutter { |
|---|
| 114 | td.code { |
|---|
| 115 | .container textarea, .line { padding-left: 0em !important; } |
|---|
| 116 | } |
|---|
| 117 | } |
|---|
| 118 | |
|---|
| 119 | &.show { display: block !important; } |
|---|
| 120 | |
|---|
| 121 | // Adjust some properties when collapsed |
|---|
| 122 | &.collapsed { |
|---|
| 123 | table { display: none !important; } |
|---|
| 124 | |
|---|
| 125 | .toolbar { |
|---|
| 126 | padding: 0.1em 0.8em 0em 0.8em !important; |
|---|
| 127 | font-size: 1em !important; |
|---|
| 128 | position: static !important; |
|---|
| 129 | width: auto !important; |
|---|
| 130 | height: auto !important; |
|---|
| 131 | |
|---|
| 132 | span { |
|---|
| 133 | display: inline !important; |
|---|
| 134 | margin-right: 1em !important; |
|---|
| 135 | |
|---|
| 136 | a { |
|---|
| 137 | padding: 0 !important; |
|---|
| 138 | display: none !important; |
|---|
| 139 | &.expandSource { display: inline !important; } |
|---|
| 140 | } |
|---|
| 141 | } |
|---|
| 142 | } |
|---|
| 143 | } |
|---|
| 144 | |
|---|
| 145 | // Styles for the toolbar |
|---|
| 146 | .toolbar { |
|---|
| 147 | position: absolute !important; |
|---|
| 148 | right: 1px !important; |
|---|
| 149 | top: 1px !important; |
|---|
| 150 | width: 11px !important; |
|---|
| 151 | height: 11px !important; |
|---|
| 152 | font-size: 10px !important; |
|---|
| 153 | z-index: 10 !important; |
|---|
| 154 | |
|---|
| 155 | span.title { display: inline !important; } |
|---|
| 156 | |
|---|
| 157 | a { |
|---|
| 158 | display: block !important; |
|---|
| 159 | text-align: center !important; |
|---|
| 160 | text-decoration: none !important; |
|---|
| 161 | padding-top: 1px !important; |
|---|
| 162 | |
|---|
| 163 | &.expandSource { display: none !important; } |
|---|
| 164 | } |
|---|
| 165 | } |
|---|
| 166 | |
|---|
| 167 | &.ie { |
|---|
| 168 | font-size: .9em !important; |
|---|
| 169 | padding: 1px 0 1px 0 !important; |
|---|
| 170 | |
|---|
| 171 | .toolbar { |
|---|
| 172 | line-height: 8px !important; |
|---|
| 173 | a { |
|---|
| 174 | padding-top: 0px !important; |
|---|
| 175 | } |
|---|
| 176 | } |
|---|
| 177 | } |
|---|
| 178 | |
|---|
| 179 | // Print view. |
|---|
| 180 | // Colors are based on the default theme without background. |
|---|
| 181 | &.printing { |
|---|
| 182 | .line.alt1 .content, |
|---|
| 183 | .line.alt2 .content, |
|---|
| 184 | .line.highlighted .number, |
|---|
| 185 | .line.highlighted.alt1 .content, |
|---|
| 186 | .line.highlighted.alt2 .content { background: none !important; } |
|---|
| 187 | |
|---|
| 188 | // Gutter line numbers |
|---|
| 189 | .line { |
|---|
| 190 | .number { color: #bbbbbb !important; } |
|---|
| 191 | // Add border to the lines |
|---|
| 192 | .content { color: black !important; } |
|---|
| 193 | } |
|---|
| 194 | |
|---|
| 195 | // Toolbar when visible |
|---|
| 196 | .toolbar { display: none !important; } |
|---|
| 197 | a { text-decoration: none !important; } |
|---|
| 198 | .plain, .plain a { color: black !important; } |
|---|
| 199 | .comments, .comments a { color: #008200 !important; } |
|---|
| 200 | .string, .string a { color: blue !important; } |
|---|
| 201 | .keyword { |
|---|
| 202 | color: #006699 !important; |
|---|
| 203 | font-weight: bold !important; |
|---|
| 204 | } |
|---|
| 205 | .preprocessor { color: gray !important; } |
|---|
| 206 | .variable { color: #aa7700 !important; } |
|---|
| 207 | .value { color: #009900 !important; } |
|---|
| 208 | .functions { color: #ff1493 !important; } |
|---|
| 209 | .constants { color: #0066cc !important; } |
|---|
| 210 | .script { font-weight: bold !important; } |
|---|
| 211 | .color1, .color1 a { color: gray !important; } |
|---|
| 212 | .color2, .color2 a { color: #ff1493 !important; } |
|---|
| 213 | .color3, .color3 a { color: red !important; } |
|---|
| 214 | .break, .break a { color: black !important; } |
|---|
| 215 | } |
|---|
| 216 | } |
|---|
