From 9a477e177163693dbeef1319c6780b4dbf523deb Mon Sep 17 00:00:00 2001 From: Ed Mackey Date: Wed, 31 May 2017 17:08:27 -0400 Subject: [PATCH] Add link back to source on GitHub. --- index.html | 1 + style.css | 13 +++++++++++++ 2 files changed, 14 insertions(+) diff --git a/index.html b/index.html index f247e005..f979c5a7 100644 --- a/index.html +++ b/index.html @@ -19,6 +19,7 @@ + source on GitHub
f(l,v,h) =
Diff(l,n)
+ diff --git a/style.css b/style.css index 9b3ff8f2..9bc83bc8 100644 --- a/style.css +++ b/style.css @@ -46,6 +46,19 @@ html, body { display: inline; } +a.source, +a.source:visited { + position: absolute; + top: 8px; + left: 10px; + color: white; + text-decoration: none; +} + +a.source:hover { + text-decoration: underline; +} + .activeComponent { background-color: darkslategray; }