body {
   margin-left: 5%;
   margin-right: 5%;
}
h1 {
   background-color: rgb(0, 255, 0); 
   color: rgb(255, 255, 255);
}

h2 {
   background-color: rgb(255, 255, 75); 
   color: rgb(0, 153, 0);
}

h3 {
   background-color: rgb(0, 255, 0); 
   color: rgb(255, 255, 153);
}

a {
  color: rgb(0, 153, 0)
}

span.h {
       font-weight: bold; 
       font-size: 150%;
       color: rgb(255, 255, 255);
}

a.h {
   text-decoration: none;	      
}

span.a {color:grey}
span.s {font-weight:bold}
span.t {color:grey}
span.k {color:grey}
span.p {margin-left:4em}
span.x {margin-left:8em; color:grey}
span.c {color:grey}

a.f {
    font-size:x-small; 
    vertical-align:super
}

p.englin {
	 margin-left:20%
}

table.sortable a.sortheader {
    background-color: rgb(255, 255, 153);
    color:  rgb(0, 153, 0);
    font-weight: bold;
    text-decoration: none;
    display: block;
}
table.sortable span.sortarrow {
    color: green;
    text-decoration: none;
}