Home | History | Annotate | Download | only in doc
      1 html {
      2 	background-color: #F8F8F8 ;
      3 }
      4 
      5 body {
      6 	border: solid #a0a0a0 1px ;
      7 	border-radius: 20px ;
      8 	padding: 26px ;
      9 	margin: 16px ;
     10 	color: #000000 ;
     11 	background-color: #FFFFFF ;
     12 	font-family: Helvetica, Arial, sans-serif ;
     13 	text-align: justify ;
     14 }
     15 
     16 h1, h2, h3, h4 {
     17 	font-family: Verdana, Geneva, sans-serif ;
     18 	font-weight: normal ;
     19 	font-style: normal ;
     20 }
     21 
     22 h2 {
     23 	padding-top: 0.4em ;
     24 	padding-bottom: 0.4em ;
     25 	padding-left: 0.8em ;
     26 	padding-right: 0.8em ;
     27 	background-color: #D0D0FF ;
     28 	border-radius: 8px ;
     29 	border: solid #a0a0a0 1px ;
     30 }
     31 
     32 h3 {
     33 	padding-left: 0.5em ;
     34 	border-left: solid #D0D0FF 1em ;
     35 }
     36 
     37 table h3 {
     38 	padding-left: 0px ;
     39 	border-left: none ;
     40 }
     41 
     42 a:link {
     43 	color: #000080 ;
     44 	background-color: inherit ;
     45 	text-decoration: none ;
     46 }
     47 
     48 a:visited {
     49 	background-color: inherit ;
     50 	text-decoration: none ;
     51 }
     52 
     53 a:link:hover, a:visited:hover {
     54 	color: #000080 ;
     55 	background-color: #D0D0FF ;
     56 }
     57 
     58 a:link:active, a:visited:active {
     59 	color: #FF0000 ;
     60 }
     61 
     62 hr {
     63 	border: 0 ;
     64 	height: 1px ;
     65 	color: #a0a0a0 ;
     66 	background-color: #a0a0a0 ;
     67 	display: none ;
     68 }
     69 
     70 table hr {
     71 	display: block ;
     72 }
     73 
     74 :target {
     75 	background-color: #F8F8F8 ;
     76 	padding: 8px ;
     77 	border: solid #a0a0a0 2px ;
     78 	border-radius: 8px ;
     79 }
     80 
     81 .footer {
     82 	color: gray ;
     83 	font-size: x-small ;
     84 }
     85 
     86 input[type=text] {
     87 	border: solid #a0a0a0 2px ;
     88 	border-radius: 2em ;
     89 	-moz-border-radius: 2em ;
     90 	background-image: url('images/search.png') ;
     91 	background-repeat: no-repeat;
     92 	background-position: 4px center ;
     93 	padding-left: 20px ;
     94 	height: 2em ;
     95 }
     96 
     97