diff options
Diffstat (limited to 'themes/marvin/marvin.theme')
| -rw-r--r-- | themes/marvin/marvin.theme | 17 |
1 files changed, 1 insertions, 16 deletions
diff --git a/themes/marvin/marvin.theme b/themes/marvin/marvin.theme index 7f2e91fd0..5217d5211 100644 --- a/themes/marvin/marvin.theme +++ b/themes/marvin/marvin.theme @@ -46,22 +46,7 @@ ?> </title> <style type="text/css"> - <!-- - <?php - if (eregi("Windows", $_SERVER["HTTP_USER_AGENT"])) { - // Windows / MSIE specific settings: - print "BODY { margin: 10px; font-size: 10pt; font-family: Verdana, Helvetica; }"; - print "SMALL { font-size: 9pt; }"; - print "FONT, P, TH, TD, TR, FORM, OL, UL, LI, INPUT, TEXTAREA, SELECT, A { font-size: 10pt; font-family: Verdana, Helvetica; }"; - } - else { - // Linux specific settings: - print "BODY { margin: 10px; font-size: 12pt; font-family: Verdana, Helvetica; }"; - print "SMALL { font-size: 10pt; }"; - print "FONT, P, TH, TD, TR, FORM, OL, UL, LI, INPUT, TEXTAREA, SELECT, A { font-size: 12pt; font-family: Verdana, Helvetica; }"; - } - ?> - --> + @import "themes/marvin/marvin.css"; </style> </head> <body text="#000000" bgcolor="#ffffff" alink="#cccccc" link="#665566" vlink="#665566"<?php print theme_onload_attribute(); ?>> |