/* CSS Document */  .changed {	font-family: sans-serif;	font-size: 80%;  }PRE {font-family: sans-serif;}	  .text {   padding: 10;   border-style: solid;   border-width: 2;   border-color: #330033;   background: white;  width: 420 ;  }  .navline{  font-size: 80%;  margin-bottom: 18;   }  .contact{  font-size: 80%;  margin-top: 25;   margin-bottom: 0;   }  H1 {   font-size: 100%;   font-weight: normal;    margin-bottom: 25;    }  H2, h3, h4 {   font-size: 100%;   font-weight: bold;   margin-top: 20;     margin-bottom: 5;    }  H2.withcomment {  display: inline;  float: left;   margin: 0 3 0 0;  padding 0;  clear: none;    }  P {  margin: 0;  padding: 0;  display: block;    }  P + P {  margin-top: 10 ;  }  H2 > A { text-decoration: none; color: black }    H2 > A:hover { text-decoration: underline; color: blue }    h3 {  font-size: 90%;   margin-top: 5;    }  h4 {  font-size: 80%;   margin-top: 5;    }  UL {  margin:0;  margin-left:10;   padding: 0;  list-style-type: none;  }        UL.shortlist {	margin-left: 5;	list-style-type: none;	text-transform: none;        font-size: 90%;    }  .badgelist li{display: inline;list-style-type: none;}      //  text-transform: capitalize 