hphp/doc/style.css

   1
   2 a:link    { color: navy;    }
   3 a:visited { color: navy;    }
   4 a:active  { color: #FF6600; }
   5 a:hover   { color: #FF6600; }
   6
   7 body, th, td {
   8   border: 0px solid #bdc7d8;
   9   font-size: 13px;
  10   font-family: "lucida grande", tahoma, verdana, arial, sans-serif
  11 }
  12
  13 b {
  14   color:          maroon
  15 }
  16
  17 p {
  18   line-height:    1.6em;
  19   margin-left:    10px;
  20 }
  21
  22 h2 {
  23   font-size:      16px;
  24   background:     #3B5998;
  25   color:          #EFEFEF;
  26   padding:        4px;
  27 }
  28
  29 h3 {
  30   border-bottom:  1px solid #CCCCCC;
  31   margin-bottom:  0.75em;
  32   margin-top:     2.5em;
  33   margin-left:    10px;
  34 }
  35
  36 ul {
  37   list-style: square;
  38 }
  39
  40 pre {
  41   font-family:    "lucida console", monaco, courier;
  42   font-size:      10px;
  43   background:     #FFEEBB;
  44   padding:        10px;
  45   margin:         10px;
  46   margin-left:    25px;
  47   border:         1px solid #FFDD88;
  48   white-space:    pre;
  49   line-height:    1.4em;
  50 }
  51
  52 .hphp {
  53   font-family:    arial;
  54   font-size:      28px;
  55   color:          #3B5998;
  56   border-bottom:  5px dotted #DDDDDD;
  57 }
  58
  59 .file {
  60   font-size:      12px;
  61   color:          navy;
  62 }
  63
  64 .current_file {
  65   font-size:      12px;
  66   color:          $FF6600;
  67 }
  68 .current_file  a:link {
  69    color:         #FF6600;
  70 }
  71
  72 .topic {
  73   background:     #dddddd;
  74   font-size:      12px;
  75   font-weight:    bold;
  76 }
  77
  78 .item_header {
  79   margin-left:    25px;
  80   color:          #444444;
  81 }
  82
  83 .item_details {
  84   color:          #888888;
  85 }
  86
  87 .footer {
  88   border-top:     1px solid #DDDDDD;
  89   padding-bottom: 5px;
  90   font-size:      10px;
  91 }