DrRacket/advanced_files/racket.css

   1
   2 /* See the beginning of "scribble.css". */
   3
   4 /* Monospace: */
   5 .RktIn, .RktRdr, .RktPn, .RktMeta,
   6 .RktMod, .RktKw, .RktVar, .RktSym,
   7 .RktRes, .RktOut, .RktCmt, .RktVal {
   8   font-family: monospace;
   9 }
  10
  11 /* Serif: */
  12 .inheritedlbl {
  13   font-family: serif;
  14 }
  15
  16 /* ---------------------------------------- */
  17 /* Inherited methods, left margin */
  18
  19 .inherited {
  20   width: 100%;
  21   margin-top: 0.5em;
  22   text-align: left;
  23   background-color: #ECF5F5;
  24 }
  25
  26 .inherited td {
  27   font-size: 82%;
  28   padding-left: 1em;
  29   text-indent: -0.8em;
  30   padding-right: 0.2em;
  31 }
  32
  33 .inheritedlbl {
  34   font-style: italic;
  35 }
  36
  37 /* ---------------------------------------- */
  38 /* Racket text styles */
  39
  40 .RktIn {
  41   color: #cc6633;
  42   background-color: #eeeeee;
  43 }
  44
  45 .RktInBG {
  46   background-color: #eeeeee;
  47 }
  48
  49 .RktRdr {
  50 }
  51
  52 .RktPn {
  53   color: #843c24;
  54 }
  55
  56 .RktMeta {
  57   color: black;
  58 }
  59
  60 .RktMod {
  61   color: black;
  62 }
  63
  64 .RktOpt {
  65   color: black;
  66 }
  67
  68 .RktKw {
  69   color: black;
  70   font-weight: bold;
  71 }
  72
  73 .RktErr {
  74   color: red;
  75   font-style: italic;
  76 }
  77
  78 .RktVar {
  79   color: #262680;
  80   font-style: italic;
  81 }
  82
  83 .RktSym {
  84   color: #262680;
  85 }
  86
  87 .RktValLink {
  88   text-decoration: none;
  89   color: blue;
  90 }
  91
  92 .RktModLink {
  93   text-decoration: none;
  94   color: blue;
  95 }
  96
  97 .RktStxLink {
  98   text-decoration: none;
  99   color: black;
 100   font-weight: bold;
 101 }
 102
 103 .RktRes {
 104   color: #0000af;
 105 }
 106
 107 .RktOut {
 108   color: #960096;
 109 }
 110
 111 .RktCmt {
 112   color: #c2741f;
 113 }
 114
 115 .RktVal {
 116   color: #228b22;
 117 }
 118
 119 /* ---------------------------------------- */
 120 /* Some inline styles */
 121
 122 .together {
 123   width: 100%;
 124 }
 125
 126 .prototype td {
 127   vertical-align: text-top;
 128 }
 129 .longprototype td {
 130   vertical-align: bottom;
 131 }
 132
 133 .RktBlk td {
 134   vertical-align: baseline;
 135 }
 136
 137 .argcontract td {
 138   vertical-align: text-top;
 139 }
 140
 141 .highlighted {
 142   background-color: #ddddff;
 143 }
 144
 145 .defmodule {
 146   width: 100%;
 147   background-color: #F5F5DC;
 148 }
 149
 150 .specgrammar {
 151   float: right;
 152 }
 153
 154 .RBibliography td {
 155   vertical-align: text-top;
 156 }
 157
 158 .leftindent {
 159  margin-left: 1em;
 160  margin-right: 0em;
 161 }
 162
 163 .insetpara {
 164  margin-left: 1em;
 165  margin-right: 1em;
 166 }
 167
 168 .Rfilebox {
 169   margin-left: 1em;
 170   margin-right: 1em;
 171 }
 172
 173 .Rfiletitle {
 174   text-align: right;
 175   margin: 0em 0em 0em 0em;
 176 }
 177
 178 .Rfilename {
 179   border-top: 1px solid #6C8585;
 180   border-right: 1px solid #6C8585;
 181   padding-left: 0.5em;
 182   padding-right: 0.5em;
 183   background-color: #ECF5F5;
 184 }
 185
 186 .Rfilecontent {
 187   margin: 0em 0em 0em 0em;
 188 }