doc/html-multipage/modsecurity-reference.css

   1
   2 body {
   3     font: 13px/20px Arial, Helvetica;
   4     background-color: white;
   5     width: 800px;
   6 }
   7
   8 /* TEXT */
   9
  10 PRE {
  11     font-size: 100%;
  12     padding: 5px;
  13     border-style: solid;
  14     border-width: 1px;
  15     border-color: #CCCCCC;
  16     background-color: #F5F8FA;
  17 }
  18
  19 p, td, tr, li, ol, ul {
  20     /*font-family: Trebuchet MS, Verdana, Tahoma, Arial, Helvetica, Geneva;*/
  21     /*font-family: Arial, Helvetica;
  22     font-size: 14px;
  23     line-height: 24px;*/
  24 }
  25
  26 .copyright {
  27     font-size: 10px;
  28 }
  29
  30 h1 {
  31     padding-top: 40px;
  32     font: 24px/30px Arial, Helvetica;
  33     font-weight: bold;
  34 }
  35
  36 h2 {
  37     font: 20px/30px Arial, Helvetica;
  38     font-weight: bold;
  39 }
  40
  41 h3 {
  42     padding-top: 15px;
  43     font: 16px/10px Arial, Helvetica;
  44     font-weight: bold;
  45 }
  46
  47 h4 {
  48     padding-top: 15px;
  49     font: 14px/10px Arial, Helvetica;
  50     font-weight: bold;
  51 }
  52
  53
  54
  55
  56 .header {
  57     background-color: #00448B;
  58     border-top: 6px solid #002B6E;
  59     height: 84px;
  60     vertical-align: top;
  61     padding-left:  20px;
  62     padding-top: 10px;
  63 }
  64
  65 .topNavigation {
  66     background-color: #EEEEEE;
  67     background: url('g/topnav-background.gif');
  68     height: 23px;
  69     line-height: 12px;
  70     vertical-align: top;
  71     padding-left:  12px;
  72     padding-top: 5px;
  73 }
  74
  75 .topLink, A.topLink:link, A.topLink:active, A.topLink:visited {
  76     font-weight: bold;
  77     color: black;
  78     text-decoration: none;
  79     padding-left: 8px;
  80     padding-right: 8px;
  81 }
  82
  83 A.topLink:hover {
  84     color: #BB0000;
  85 }
  86
  87 #navheader td {
  88     font-size: 12px;
  89 }
  90
  91 #navfooter td {
  92     font-size: 12px;
  93 }
  94
  95 h3.title {
  96     margin-top: 0px;
  97 }
  98
  99 .note {
 100     border-top: 1px solid #CCCCCC;
 101     border-bottom: 1px solid #CCCCCC;
 102 }