PageRenderTime 38ms CodeModel.GetById 14ms RepoModel.GetById 0ms app.codeStats 0ms

/lib/syntaxhighlighter_3.0.83/compass/shCore.scss

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