fter: avoid;	}	div.header {      background-color: #FFF;    }	 }  body {      color: #000;     background-color: #FFF;  border: 0;  margin: 0;  padding: 0;  }    div.header {  border:0;  margin:0;  padding: 0.5em;  font-size: 200%;  width:100%;  }        #header_title {  display:inline-block;  float:left;  clear:left;  }  #header_filename {  display:inline-block;  float:right;  clear:right;  font-size: 50%;  margin-right:2em;  text-align: right;  }  div.header h3 {  font-size: 50%;  margin-bottom: 0;  }    