/* Layout-unabhängige Anpassungen */
@import url(../yaml/core/iehacks.css);

/* Layout-abhängige Anpassungen */
@media screen, projection
{
@import url(../yaml/patches/patch_nav_vlist.css);

 /**
  * Bugfix for IE 3-Pixel-Jog Bug
  *
  * @bugfix
  * @affected   IE 5.x/Win, IE6
  * @css-for    IE 5.x/Win, IE6
  * @valid      yes
  */

  * html #col3 {height: 1%}
  * html #col1 {margin-right: -3px}
  * html #col2 {margin-left: -3px}
  * html #col3 {margin-left: 24%; margin-right: 24% }

 /**
  * min-width/max-width workaround for IE
  *
  * @workaround
  * @affected   IE 5.x/Win, IE6
  * @css-for    IE 5.x/Win, IE6
  * @valid      no
  */

  * html .page_margins {
    /* Fallback if JavaScript is disabled */
    width: auto;

    /* JS-Expression for min-/max-width simulation */
    width: expression((document.documentElement && document.documentElement.clientHeight) ? ((document.documentElement.clientWidth < 740) ? "740px" : ((document.documentElement.clientWidth > (100 * 16 * (parseInt(this.parentNode.currentStyle.fontSize) / 100))) ? "100em" : "auto" )) : ((document.body.clientWidth < 740) ? "740px" : ((document.body.clientWidth > (100 * 16 * (parseInt(this.parentNode.currentStyle.fontSize) / 100))) ? "100em" : "auto" )));
  }
}