changeset 443:ae0836b5f4dd build-default-191

Change main body font to Open Sans, to match the main Havoc website.
author Jim Hague <jim.hague@acm.org>
date Mon, 11 Nov 2013 22:14:00 +0000
parents 54baa010ede2
children 6e291677434a daab2842258e
files dottes.html dottes.html.learnertune dottes.html.tune web/css/dottes.css web/index.html
diffstat 5 files changed, 17 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/dottes.html	Sun Nov 03 21:39:20 2013 +0000
+++ b/dottes.html	Mon Nov 11 22:14:00 2013 +0000
@@ -8,7 +8,7 @@
   <link rel="stylesheet" href="../css/960.css" />
   <link rel="stylesheet" href="../css/dottes.css" />
 
-  <link href='http://fonts.googleapis.com/css?family=Pirata+One|Oswald'
+  <link href='http://fonts.googleapis.com/css?family=Pirata+One|Open+Sans'
         rel='stylesheet' type='text/css'>
 </head>
 <body>
--- a/dottes.html.learnertune	Sun Nov 03 21:39:20 2013 +0000
+++ b/dottes.html.learnertune	Mon Nov 11 22:14:00 2013 +0000
@@ -8,7 +8,7 @@
   <link rel="stylesheet" href="../css/960.css" />
   <link rel="stylesheet" href="../css/dottes.css" />
 
-  <link href='http://fonts.googleapis.com/css?family=Pirata+One|Oswald'
+  <link href='http://fonts.googleapis.com/css?family=Pirata+One|Open+Sans'
         rel='stylesheet' type='text/css'>
 </head>
 <body>
--- a/dottes.html.tune	Sun Nov 03 21:39:20 2013 +0000
+++ b/dottes.html.tune	Mon Nov 11 22:14:00 2013 +0000
@@ -8,7 +8,7 @@
   <link rel="stylesheet" href="../css/960.css" />
   <link rel="stylesheet" href="../css/dottes.css" />
 
-  <link href='http://fonts.googleapis.com/css?family=Pirata+One|Oswald'
+  <link href='http://fonts.googleapis.com/css?family=Pirata+One|Open+Sans'
         rel='stylesheet' type='text/css'>
 </head>
 <body>
--- a/web/css/dottes.css	Sun Nov 03 21:39:20 2013 +0000
+++ b/web/css/dottes.css	Mon Nov 11 22:14:00 2013 +0000
@@ -1,18 +1,24 @@
+html {
+    font-size: 62.5%;
+}
+
 body {
     background-color: #9900cc;
     background-image: url('../img/purple-fabric-background.jpg');
     color: #000000;
-    font-size: 16px;
+    font-size: 14px;
+    font-size: 1.4rem;
     height: auto;
     padding-top: 0px;
     padding-bottom: 20px;
-    font-family: 'Oswald', serif;
+    font-family: 'Open Sans', sans-serif;
 }
 
 h1 {
     background: white;
     text-align: center;
-    font-size: 25px;
+    font-size: 17px;
+    font-size: 1.7rem;
     font-weight: bold;
 }
 
@@ -54,6 +60,7 @@
     display: none;
     text-align: left;
     font-size: 50px;
+    font-size: 5.0rem;
     font-weight: bold;
     color: #ffffff;
     font-family: 'Pirata One', sans-serif;
@@ -150,6 +157,7 @@
 div.dottes-tune-header-middle h1
 {
     font-size: 25px;
+    font-size: 2.5rem;
     font-weight: bold;
     text-align: center;
     margin: 0px;
@@ -158,6 +166,7 @@
 div.dottes-tune-header-middle h2
 {
     font-size: 15px;
+    font-size: 1.5rem;
     font-weight: normal;
     text-align: center;
     margin: 0px;
@@ -204,6 +213,7 @@
 a.dottes-tune-link
 {
     font-size: 20px;
+    font-size: 2.0rem;
     position: relative;
     top: 12px;
 }
--- a/web/index.html	Sun Nov 03 21:39:20 2013 +0000
+++ b/web/index.html	Mon Nov 11 22:14:00 2013 +0000
@@ -8,7 +8,7 @@
   <link rel="stylesheet" href="css/960.css" />
   <link rel="stylesheet" href="css/dottes.css" />
 
-  <link href='http://fonts.googleapis.com/css?family=Pirata+One|Oswald'
+  <link href='http://fonts.googleapis.com/css?family=Pirata+One|Open+Sans'
         rel='stylesheet' type='text/css'>
 </head>
 <body>