juplo.de Git - website/blob - src/main/webapp/less/base/prettify.less

   1 /* Pretty printing styles. Used with prettify.js. */
   2
   3 /* SPAN elements with the classes below are added by prettyprint. */
   4 .pln { color: #000 }  /* plain text */
   5
   6 @media screen {
   7   .str { color: #080 }  /* string content */
   8   .kwd { color: #008 }  /* a keyword */
   9   .com { color: #800 }  /* a comment */
  10   .typ { color: #606 }  /* a type name */
  11   .lit { color: #066 }  /* a literal value */
  12   /* punctuation, lisp open bracket, lisp close bracket */
  13   .pun, .opn, .clo { color: #660 }
  14   .tag { color: #008 }  /* a markup tag name */
  15   .atn { color: #606 }  /* a markup attribute name */
  16   .atv { color: #080 }  /* a markup attribute value */
  17   .dec, .var { color: #606 }  /* a declaration; a variable name */
  18   .fun { color: red }  /* a function name */
  19 }
  20
  21 /* Use higher contrast and text-weight for printable form. */
  22 @media print, projection {
  23   .str { color: #060 }
  24   .kwd { color: #006; font-weight: bold }
  25   .com { color: #600; font-style: italic }
  26   .typ { color: #404; font-weight: bold }
  27   .lit { color: #044 }
  28   .pun, .opn, .clo { color: #440 }
  29   .tag { color: #006; font-weight: bold }
  30   .atn { color: #404 }
  31   .atv { color: #060 }
  32 }
  33
  34 /* Put a border around prettyprinted code snippets. */
  35 pre.prettyprint { padding: 2px; border: 1px solid #888 }
  36
  37 /* Specify class=linenums on a pre to get line numbering */
  38 ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */
  39 li.L0,
  40 li.L1,
  41 li.L2,
  42 li.L3,
  43 li.L5,
  44 li.L6,
  45 li.L7,
  46 li.L8 { list-style-type: none }
  47 /* Alternate shading for lines */
  48 li.L1,
  49 li.L3,
  50 li.L5,
  51 li.L7,
  52 li.L9 { background: #eee }
  53
  54 /* Anpassungen an das Juplo-Branding */
  55
  56 ol.linenums
  57 {
  58   margin: auto;
  59   padding: 0 0 0 3em;
  60 }
  61 li.L0,
  62 li.L1,
  63 li.L2,
  64 li.L3,
  65 li.L4,
  66 li.L5,
  67 li.L6,
  68 li.L7,
  69 li.L8,
  70 li.L9
  71 {
  72   padding: 0;
  73 }
  74 pre.prettyprint
  75 {
  76   border-color: @dunkel;
  77   overflow-x: scroll;
  78 }
  79 /* Alternate shading for lines */
  80 li.L1,
  81 li.L3,
  82 li.L5,
  83 li.L7,
  84 li.L9
  85 {
  86   background: @sehrhell
  87 }