You are here

Home » API reference » Sassy 7.3

prettify.css in Sassy 7.3 

.com { color: #93a1a1; }
.lit { color: #195f91; }
.pun, .opn, .clo { color: #93a1a1; }
.fun { color: #dc322f; }
.str, .atv { color: #268bd2; }
.kwd, .tag { color: #195f91; }
.typ, .atn, .dec, .var { color: #CB4B16; }
.pln { color: #93a1a1; }
.prettyprint {
  background-color: #fefbf3;
  padding: 9px;
  border: 1px solid rgba(0,0,0,.2);
  -webkit-box-shadow: 0 1px 2px rgba(0,0,0,.1);
     -moz-box-shadow: 0 1px 2px rgba(0,0,0,.1);
          box-shadow: 0 1px 2px rgba(0,0,0,.1);
}

/* Specify class=linenums on a pre to get line numbering */
ol.linenums {
  margin: 0 0 0 40px;
}
/* IE indents via margin-left */
ol.linenums li {
  padding: 0 5px;
  color: rgba(0,0,0,.15);
  line-height: 20px;
  -webkit-border-radius: 2px;
     -moz-border-radius: 2px;
          border-radius: 2px;
}
/* Alternate shading for lines */
li.L1, li.L3, li.L5, li.L7, li.L9 {  }

/*
$base03:    #002b36;
$base02:    #073642;
$base01:    #586e75;
$base00:    #657b83;
$base0:     #839496;
$base1:     #93a1a1;
$base2:     #eee8d5;
$base3:     #fdf6e3;
$yellow:    #b58900;
$orange:    #cb4b16;
$red:       #dc322f;
$magenta:   #d33682;
$violet:    #6c71c4;
$blue:      #268bd2;
$cyan:      #2aa198;
$green:     #859900;
*/


/*
#1d1f21 Background
#282a2e Current Line
#373b41 Selection
#c5c8c6 Foreground
#969896 Comment
#cc6666 Red
#de935f Orange
#f0c674 Yellow
#b5bd68 Green
#8abeb7 Aqua
#81a2be Blue
#b294bb Purple
*/


/* DARK THEME */
/* ---------- */

.prettyprint-dark {
  background-color: #1d1f21;
  border: 0;
  padding: 10px;
}
.prettyprint-dark .linenums li {
  color: #444;
}
.prettyprint-dark .linenums li:hover {
  background-color: #282a2e;
}
/* tags in html */
.prettyprint-dark .kwd,
.prettyprint-dark .tag { color: #cc6666; }
/* html attr */
.prettyprint-dark .typ,
.prettyprint-dark .atn,
.prettyprint-dark .dec,
.prettyprint-dark .var { color: #de935f; }
/* html attr values */
.prettyprint-dark .str,
.prettyprint-dark .atv { color: #b5bd68; }

File

sassy_bootstrap/bootstrap/docs/assets/js/google-code-prettify/prettify.css
View source 
  1. .com { color: #93a1a1; }

  2. .lit { color: #195f91; }

  3. .pun, .opn, .clo { color: #93a1a1; }

  4. .fun { color: #dc322f; }

  5. .str, .atv { color: #268bd2; }

  6. .kwd, .tag { color: #195f91; }

  7. .typ, .atn, .dec, .var { color: #CB4B16; }

  8. .pln { color: #93a1a1; }

  9. .prettyprint {

  10.   background-color: #fefbf3;

  11.   padding: 9px;

  12.   border: 1px solid rgba(0,0,0,.2);

  13.   -webkit-box-shadow: 0 1px 2px rgba(0,0,0,.1);

  14.      -moz-box-shadow: 0 1px 2px rgba(0,0,0,.1);

  15.           box-shadow: 0 1px 2px rgba(0,0,0,.1);

  16. }

  17. 

  18. /* Specify class=linenums on a pre to get line numbering */

  19. ol.linenums {

  20.   margin: 0 0 0 40px;

  21. }

  22. /* IE indents via margin-left */

  23. ol.linenums li {

  24.   padding: 0 5px;

  25.   color: rgba(0,0,0,.15);

  26.   line-height: 20px;

  27.   -webkit-border-radius: 2px;

  28.      -moz-border-radius: 2px;

  29.           border-radius: 2px;

  30. }

  31. /* Alternate shading for lines */

  32. li.L1, li.L3, li.L5, li.L7, li.L9 {  }

  33. 

  34. /*

  35. $base03:    #002b36;

  36. $base02:    #073642;

  37. $base01:    #586e75;

  38. $base00:    #657b83;

  39. $base0:     #839496;

  40. $base1:     #93a1a1;

  41. $base2:     #eee8d5;

  42. $base3:     #fdf6e3;

  43. $yellow:    #b58900;

  44. $orange:    #cb4b16;

  45. $red:       #dc322f;

  46. $magenta:   #d33682;

  47. $violet:    #6c71c4;

  48. $blue:      #268bd2;

  49. $cyan:      #2aa198;

  50. $green:     #859900;

  51. */

  52. 

  53. 

  54. /*

  55. #1d1f21 Background

  56. #282a2e Current Line

  57. #373b41 Selection

  58. #c5c8c6 Foreground

  59. #969896 Comment

  60. #cc6666 Red

  61. #de935f Orange

  62. #f0c674 Yellow

  63. #b5bd68 Green

  64. #8abeb7 Aqua

  65. #81a2be Blue

  66. #b294bb Purple

  67. */

  68. 

  69. 

  70. /* DARK THEME */

  71. /* ---------- */

  72. 

  73. .prettyprint-dark {

  74.   background-color: #1d1f21;

  75.   border: 0;

  76.   padding: 10px;

  77. }

  78. .prettyprint-dark .linenums li {

  79.   color: #444;

  80. }

  81. .prettyprint-dark .linenums li:hover {

  82.   background-color: #282a2e;

  83. }

  84. /* tags in html */

  85. .prettyprint-dark .kwd,

  86. .prettyprint-dark .tag { color: #cc6666; }

  87. /* html attr */

  88. .prettyprint-dark .typ,

  89. .prettyprint-dark .atn,

  90. .prettyprint-dark .dec,

  91. .prettyprint-dark .var { color: #de935f; }

  92. /* html attr values */

  93. .prettyprint-dark .str,

  94. .prettyprint-dark .atv { color: #b5bd68; }