From ce116459e9b5129f31c69b3c32d4c83cb846e69e Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 19 Jun 2014 17:42:37 +0000
Subject: [PATCH] css/style0.css: like css/style.css but without changing the
 default table style

---
 css/style.css  | 47 +----------------------------------------------
 css/style0.css | 46 ++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 47 insertions(+), 46 deletions(-)
 create mode 100644 css/style0.css

diff --git a/css/style.css b/css/style.css
index ebde551f9..334d69115 100644
--- a/css/style.css
+++ b/css/style.css
@@ -1,16 +1,4 @@
-
-body { background-color: #f6f6f6; }
-
-
-h1,h2,h3,h4 { font-family: sans-serif; color: #303030;
-	      text-shadow: rgba(0,0,0,0.25) 2px 2px 5px;
-	    }
-h1 { text-align: center; }
-h2 { border-bottom: 2px solid #303030; clear: right; }
-
-div.mainlinks { font-size: 140%; }
-div.center { text-align: center; }
-div.news { font-size: small; }
+@import url(style0.css);
 
 table { border-collapse: collapse; }
 
@@ -30,36 +18,3 @@ th,td { border: 1px solid #333; }
 
 td { background: white; }
 th { background: #9df; }
-
-h1 img { float: right; border: 0; }
-h1 img.nofloat { float: none; }
-img.right { float: right; }
-
-ol.languages {
-    column-width: 12em;
-    -moz-column-width: 12em;
-}
-
-.grow {
-  max-width: 75%;
-  animation-name: grow;
-  animation-duration: 2s;
-  animation-timing-function: ease-in-out;
-
-  -webkit-animation-name: grow;
-  -webkit-animation-duration: 2s;
-  -webkit-animation-timing-function: ease-in-out;
-
-}
-
-@keyframes grow {
-  from,50% { opacity: 0; transform: scale(0.1,0.1); }
-  80% { opacity: 1; transform: scale(1.1,1.1); }
-  to { transform: scale(1.0,1.0); }
-}
-
-@-webkit-keyframes grow {
-  from,50% { opacity: 0; -webkit-transform: scale(0.1,0.1); }
-  80% { opacity: 1; -webkit-transform: scale(1.1,1.1); }
-  to { -webkit-transform: scale(1.0,1.0); }
-}
diff --git a/css/style0.css b/css/style0.css
new file mode 100644
index 000000000..6e5500a17
--- /dev/null
+++ b/css/style0.css
@@ -0,0 +1,46 @@
+
+body { background-color: #f6f6f6; }
+
+
+h1,h2,h3,h4 { font-family: sans-serif; color: #303030;
+	      text-shadow: rgba(0,0,0,0.25) 2px 2px 5px;
+	    }
+h1 { text-align: center; }
+h2 { border-bottom: 2px solid #303030; clear: right; }
+
+div.mainlinks { font-size: 140%; }
+div.center { text-align: center; }
+div.news { font-size: small; }
+
+h1 img { float: right; border: 0; }
+h1 img.nofloat { float: none; }
+img.right { float: right; }
+
+ol.languages {
+    column-width: 12em;
+    -moz-column-width: 12em;
+}
+
+.grow {
+  max-width: 75%;
+  animation-name: grow;
+  animation-duration: 2s;
+  animation-timing-function: ease-in-out;
+
+  -webkit-animation-name: grow;
+  -webkit-animation-duration: 2s;
+  -webkit-animation-timing-function: ease-in-out;
+
+}
+
+@keyframes grow {
+  from,50% { opacity: 0; transform: scale(0.1,0.1); }
+  80% { opacity: 1; transform: scale(1.1,1.1); }
+  to { transform: scale(1.0,1.0); }
+}
+
+@-webkit-keyframes grow {
+  from,50% { opacity: 0; -webkit-transform: scale(0.1,0.1); }
+  80% { opacity: 1; -webkit-transform: scale(1.1,1.1); }
+  to { -webkit-transform: scale(1.0,1.0); }
+}