function print_css(properties) {
  document.writeln('<style type="text/css">' + properties + '</style>');
}
var width = screen.width ? screen.width : width;
if (width <= 800) {
  print_css('div { width: 425; font-size: 12pt; }');
} else if (width <= 1024) {
  print_css('div { width: 550; font-size: 14pt; }');
} else if (width <= 1153) {
  print_css('div { width: 600; font-size: 16pt; }');
} else {
  print_css('div { width: 700; font-size: 17pt; }');
}
