doc/api/ant/style.css
changeset 432 f2ddfa555b0f
equal deleted inserted replaced
431:7685cec9fd3c 432:f2ddfa555b0f
       
     1 
       
     2 
       
     3 body  {
       
     4    font-family: verdana, arial,helvetica,sanserif;
       
     5    font-size: 90%;
       
     6 }
       
     7 
       
     8 h2 {
       
     9 	font-size: 110%;
       
    10 	text-align: left;
       
    11 }
       
    12 
       
    13 div#navigation h2 {
       
    14 	text-align: left;
       
    15 	background-color: #CCCCFF;
       
    16     font-variant: small-caps;
       
    17     margin-bottom: 0;
       
    18     padding-left: 5%;
       
    19 }
       
    20 
       
    21 h3 {
       
    22 	font-size: 100%;
       
    23 	text-align: left;
       
    24 	background-color: #CCCCFF;
       
    25     margin-bottom: 0;
       
    26 }
       
    27 
       
    28 h4 {
       
    29 	font-size: 90%;
       
    30     margin-top: 5%;
       
    31 }
       
    32 
       
    33 div#navigation {
       
    34 	float: left;
       
    35 }
       
    36 
       
    37 #navigation div.description {
       
    38     margin-left: 5%;
       
    39     font-size: small;
       
    40 }
       
    41 
       
    42 div.description {
       
    43     margin: 5%;
       
    44     font-size: medium;
       
    45 }
       
    46 
       
    47 pre {
       
    48 	border: solid 1px black;
       
    49 	background-color: #FFFFCC;
       
    50 	font-size: smaller;
       
    51 	font-family: monospace;
       
    52 }
       
    53 
       
    54 code {
       
    55 	font-size: smaller;
       
    56 	font-family: monospace;
       
    57 }
       
    58 
       
    59 table {
       
    60 	font-family: arial,helvetica,sanserif;
       
    61 	font-size: 80%;
       
    62     margin: 5%;
       
    63     padding: 0px;
       
    64 
       
    65 //	border: solid 1px black;
       
    66     border-spacing: 0px;
       
    67 	border-collapse: collapse;
       
    68 }
       
    69 
       
    70 tr:first-child {
       
    71 	background-color: #DDDDFF;
       
    72 }
       
    73 
       
    74 td {
       
    75 	margin: 0px;
       
    76 	padding: 2px;
       
    77 	border: solid 1px black;
       
    78 	border-spacing: 0px;
       
    79 	border-collapse: collapse;
       
    80 }
       
    81 
       
    82 
       
    83 .copyright {
       
    84 	color: #999999;
       
    85 	font-size: 60%;
       
    86 	text-align: center;
       
    87 }