See the code, there are several external style sheets (for normal size, bigger size, print and seperately for IE) attached to each file as follows:
Code:
<link rel="stylesheet" type="text/css" href="css/styles.css" media="screen" title="default" />
<link rel="alternate stylesheet" type="text/css" href="file:css/stylesgroot.css" media="screen" title="bigger" />
<link rel="stylesheet" type="text/css" href="css/print.css" media="print" title="default" />
<link rel="alternate stylesheet" type="text/css" href="css/printgroot.css" media="print" title="bigger" />
<!--[if IE]>
<link rel="stylesheet" type="text/css" href="css/ie_styles.css" media="screen" title="default">
<link rel="alternate stylesheet" type="text/css" href="css/ie_stylesgroot.css" media="screen" title="bigger" />
<link rel="stylesheet" type="text/css" href="css/ie_print.css" media="print" title="default" />
<link rel="alternate stylesheet" type="text/css" href="css/ie_printgroot.css" media="print" title="bigger" />
<![endif]-->
Bookmarks