From 1cf0ea5cd51ce20ad531a04e8ce3c3b4c35e8b59 Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Wed, 11 Jul 2007 12:07:17 +0000
Subject: [PATCH] Separate style

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@128 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---
 _compile.php   |  1 +
 design.inc.php | 16 +---------------
 2 files changed, 2 insertions(+), 15 deletions(-)

diff --git a/_compile.php b/_compile.php
index 4fd0f200..c913b16f 100644
--- a/_compile.php
+++ b/_compile.php
@@ -54,5 +54,6 @@ if ($_SESSION["lang"]) {
 	$file = str_replace("<?php echo get_lang(); ?>", $_SESSION["lang"], $file);
 }
 $file = str_replace("favicon.ico", "data:image/x-icon;base64," . base64_encode(file_get_contents("favicon.ico")), $file);
+$file = str_replace('<link rel="stylesheet" type="text/css" href="default.css" />', "<style type='text/css'>\n" . file_get_contents("default.css") . "</style>", $file);
 file_put_contents($filename, $file);
 echo "$filename created.\n";
diff --git a/design.inc.php b/design.inc.php
index 61823f89..14f36015 100644
--- a/design.inc.php
+++ b/design.inc.php
@@ -10,21 +10,7 @@ function page_header($title) {
 <meta name="robots" content="noindex" />
 <title><?php echo lang('phpMinAdmin') . " - $title"; ?></title>
 <link rel="shortcut icon" type="image/x-icon" href="favicon.ico" />
-<style type="text/css">
-BODY { color: Black; background-color: White; }
-A { color: Blue; }
-A:visited { color: Navy; }
-H1 { font-size: 150%; margin: 0; }
-H2 { font-size: 150%; margin: 0; }
-H3 { margin: 0; }
-FIELDSET { float: left; padding: .5em; margin: 0; }
-PRE { margin: .12em 0; }
-TABLE { margin-top: 1em; }
-.error { color: Red; }
-.message { color: Green; }
-#menu { position: absolute; top: 8px; left: 8px; width: 15em; overflow: auto; white-space: nowrap; }
-#content { margin-left: 16em; }
-</style>
+<link rel="stylesheet" type="text/css" href="default.css" />
 <?php if ($_SESSION["highlight"] == "jush") { ?>
 <style type="text/css">@import url(http://jush.info/jush.css);</style>
 <script type="text/javascript" src="http://jush.info/jush.js" defer="defer"></script>