2 files changed, 27 insertions, 16 deletions
diff --git a/themes/marvin/marvin.css b/themes/marvin/marvin.css
new file mode 100644
index 000000000..9757f827c
--- /dev/null
+++ b/themes/marvin/marvin.css
@@ -0,0 +1,26 @@
+body {
+  margin: 10px;
+  color: #000000;
+  background-color: #fff;
+  font-family: verdana, arial, helvetica, sans-serif;
+  font-size: 82%;
+}
+h1 {
+  font-size: 1.2em;
+}
+h2 {
+  font-size: 1.1em;
+}
+h3, h4, h5, h6 {
+  font-size: 1em;
+}
+p {
+  margin: 0 0 1em 0;
+  padding: 0;
+}
+img {
+  border-width: 0;
+}
+table {
+  font-size: 1em;
+}
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(); ?>>