From dd7d85222fce2cf8d1fd46e83c072d7ed5ffc89a Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Wed, 23 Nov 2011 23:33:52 -0500 Subject: [PATCH] Added source.html --- _includes/header.html | 4 +--- source.html | 34 ++++++++++++++++++++++++++++++++++ style.css | 15 +++++++++++++-- 3 files changed, 48 insertions(+), 5 deletions(-) create mode 100644 source.html diff --git a/_includes/header.html b/_includes/header.html index cfef889..fa272b7 100644 --- a/_includes/header.html +++ b/_includes/header.html @@ -18,9 +18,7 @@ diff --git a/source.html b/source.html new file mode 100644 index 0000000..ee16f73 --- /dev/null +++ b/source.html @@ -0,0 +1,34 @@ +

+ ease.js is free + software; you are free to use and redistribute it under terms of the + LGPL v3 or, at your + option, any later version. +

+

+ The source code is officially hosted at the following locations. + Git is used as the version control system. +

+ +

Gitorious

+Gitorious is recommended, as it is +itself is free software. + +
+ $ git clone + git://gitorious.org/easejs/easejs.git +
+ +

GitHub

+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. + +
+ $ git://github.com/mikegerwitz/easejs.git +
+ +

Manual

+See Chapter 1 of the manual +for more information on downloading and integrating ease.js into your own +projects. diff --git a/style.css b/style.css index 0cffe85..ab8518a 100644 --- a/style.css +++ b/style.css @@ -118,12 +118,14 @@ html, body { #menu a:hover, body.index #about a, -body.man #manual a { +body.man #manual a, +body.source #source a { background-color: #204a87; } body.index #about a, -body.man #manual a { +body.man #manual a, +body.source #source a { color: #f57900; } @@ -289,3 +291,12 @@ p.copyright a, p.copyright a:link { font-family: monospace; } +blockquote.git-clone { + font-family: fixed; + font-weight: lighter; +} + +span.shell-start { + font-weight: normal; +} +