xp-dev.com Git - namibia/blob - public/js/lib/syntaxhighlighter/tests/brushes/sass.html

   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>