body { 
  background-image: url("images/body_navcol-imgcol_bg.gif"); 
}

#nav_col {
  display: block;
}

#pic_col { 
  display: block;
}

/* Hauptfenster */
#main_col { 
  width: 510px;
  background: #FDF8E7;
  float: left;
  margin-left: 8px;
}
* html #main_col { 
  margin-left: 4px;             /* KLUDGE: IE double margin float bug */
}