From 0eab617135f32605e5455ddb3c081ea247180d5a Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Sat, 5 May 2012 18:05:59 -0400 Subject: [PATCH] Added website source code information --- includes/footer.html | 13 ++++++++++--- includes/header.html | 2 +- source.html | 5 +++-- style.css | 12 ++++++++---- 4 files changed, 22 insertions(+), 10 deletions(-) diff --git a/includes/footer.html b/includes/footer.html index f316e49..b04da1a 100644 --- a/includes/footer.html +++ b/includes/footer.html @@ -1,8 +1,15 @@ - + diff --git a/includes/header.html b/includes/header.html index 2a668e1..f816a6e 100644 --- a/includes/header.html +++ b/includes/header.html @@ -29,6 +29,6 @@ features of this website. Don't worry - it's all free software. You can find the source code to this website via the source code link - above within the 'website' branch. + above within the 'website' branch. diff --git a/source.html b/source.html index 2e8b79d..eacbfd2 100644 --- a/source.html +++ b/source.html @@ -5,7 +5,8 @@ option, any later version.

- The source code is officially hosted at the following locations. + The source code is officially hosted at the following locations (the website + source code exists within the website branch of the repository). Git is used as the version control system.

@@ -22,7 +23,7 @@ itself free software. GitHub is a popular social coding platform. While the code is hosted there and you are free to make use of GitHub's services, note that GitHub is proprietary and ease.js does not endorse -it, nor make use of its services. It is used purely for hosting. +it, nor make use of its services; it is used purely for hosting.
$ git://github.com/mikegerwitz/easejs.git diff --git a/style.css b/style.css index 6ce645f..ee1af10 100644 --- a/style.css +++ b/style.css @@ -16,7 +16,7 @@ html, body { font-size: 16px; } -a, a:active { +a, a:active, a:link { color: #204a87; text-decoration: none; } @@ -139,9 +139,9 @@ body.source #source a { color: #f57900; } -p.copyright { +.footer p { margin: 0; - padding: 1em; + padding: 0.1em; color: #2e3436; @@ -149,7 +149,11 @@ p.copyright { text-align: center; } -p.copyright a, p.copyright a:link { +.footer p.copyright { + margin-top: 1em; +} + +.footer p a, .footer p a:link { color: #2e3436; }