htdocs/style.css
changeset 8 f76671115809
parent 5 f29a43ca4760
equal deleted inserted replaced
7:c9bd17599375 8:f76671115809
     1 body {
     1 body {
     2 	font-family: Arial, Helvetica, sans-serif;
     2 	font-family: Arial, Helvetica, sans-serif;
     3 }
     3 }
       
     4 
       
     5 .term,.file {
       
     6 	background: #EFEFEF;
       
     7 	color: gray;
       
     8 	padding: 5px;
       
     9 	border: 1px solid #808080;
       
    10 }
       
    11 
       
    12 .term,.file a {
       
    13 	color: gray;
       
    14 }
       
    15 
       
    16 .term,.file a:hover {
       
    17 	color: black;
       
    18 }
       
    19 
       
    20 .pkg,.path {
       
    21 	font-family: monospace;
       
    22 	background: #EFEFEF;
       
    23 }