From 633401862fd3524d8e7659e4a8920cd7a3a8d7ce Mon Sep 17 00:00:00 2001
From: Manuel Friedli
Date: Mon, 11 Aug 2014 18:10:38 +0200
Subject: [PATCH] tweaked the info page
---
info/index.html | 35 ++++++++++++++++++-----------------
info/info.css | 9 ++++++++-
2 files changed, 26 insertions(+), 18 deletions(-)
diff --git a/info/index.html b/info/index.html
index 9902b90..d37ef76 100644
--- a/info/index.html
+++ b/info/index.html
@@ -30,7 +30,7 @@ along with this program. If not, see .
Die Zeit im Wort
-
“Copyright” also means copyright-like laws that apply to other kinds of
works, such as semiconductor masks.
-
+
“The Program” refers to any copyrightable work licensed under this
License. Each licensee is addressed as “you”. “Licensees” and
“recipients” may be individuals or organizations.
@@ -677,7 +678,7 @@ actual knowledge that, but for the patent license, your conveying the
covered work in a country, or your recipient's use of the covered work
in a country, would infringe one or more identifiable patents in that
country that you have reason to believe are valid.
-
+
If, pursuant to or in connection with a single transaction or
arrangement, you convey, or propagate by procuring conveyance of, a
covered work, and grant a patent license to some of the parties
diff --git a/info/info.css b/info/info.css
index a8cca17..8aa7f4a 100644
--- a/info/info.css
+++ b/info/info.css
@@ -2,7 +2,8 @@ body {
font-size: 120%;
}
code {
- white-space: pre;
+ white-space: pre-line;
+ display: inline-block;
}
ol {
counter-reset: item;
@@ -15,3 +16,9 @@ ol li:before {
content: counters(item, ".") ". ";
counter-increment: item;
}
+a.toclink {
+ font-size: 25%;
+}
+a.toclink:before {
+ content: "▲ ";
+}
\ No newline at end of file