init

6 files changed, 200 insertions, 0 deletions

diff --git a/static/EBGaramond-Italic-VariableFont_wght.ttf b/static/EBGaramond-Italic-VariableFont_wght.ttf
new file mode 100644
index 0000000..fa31b71
--- /dev/null
+++ b/static/EBGaramond-Italic-VariableFont_wght.ttf
diff --git a/static/EBGaramond-VariableFont_wght.ttf b/static/EBGaramond-VariableFont_wght.ttf
new file mode 100644
index 0000000..123d5dd
--- /dev/null
+++ b/static/EBGaramond-VariableFont_wght.ttf
diff --git a/static/FiraMono-Regular.ttf b/static/FiraMono-Regular.ttf
new file mode 100644
index 0000000..3910f17
--- /dev/null
+++ b/static/FiraMono-Regular.ttf
diff --git a/static/OFL.txt b/static/OFL.txt
new file mode 100644
index 0000000..1ba1596
--- /dev/null
+++ b/static/OFL.txt
@@ -0,0 +1,93 @@
+Copyright (c) 2012-2013, The Mozilla Corporation and Telefonica S.A.

+

+This Font Software is licensed under the SIL Open Font License, Version 1.1.

+This license is copied below, and is also available with a FAQ at:

+http://scripts.sil.org/OFL

+

+

+-----------------------------------------------------------

+SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007

+-----------------------------------------------------------

+

+PREAMBLE

+The goals of the Open Font License (OFL) are to stimulate worldwide

+development of collaborative font projects, to support the font creation

+efforts of academic and linguistic communities, and to provide a free and

+open framework in which fonts may be shared and improved in partnership

+with others.

+

+The OFL allows the licensed fonts to be used, studied, modified and

+redistributed freely as long as they are not sold by themselves. The

+fonts, including any derivative works, can be bundled, embedded, 

+redistributed and/or sold with any software provided that any reserved

+names are not used by derivative works. The fonts and derivatives,

+however, cannot be released under any other type of license. The

+requirement for fonts to remain under this license does not apply

+to any document created using the fonts or their derivatives.

+

+DEFINITIONS

+"Font Software" refers to the set of files released by the Copyright

+Holder(s) under this license and clearly marked as such. This may

+include source files, build scripts and documentation.

+

+"Reserved Font Name" refers to any names specified as such after the

+copyright statement(s).

+

+"Original Version" refers to the collection of Font Software components as

+distributed by the Copyright Holder(s).

+

+"Modified Version" refers to any derivative made by adding to, deleting,

+or substituting -- in part or in whole -- any of the components of the

+Original Version, by changing formats or by porting the Font Software to a

+new environment.

+

+"Author" refers to any designer, engineer, programmer, technical

+writer or other person who contributed to the Font Software.

+

+PERMISSION & CONDITIONS

+Permission is hereby granted, free of charge, to any person obtaining

+a copy of the Font Software, to use, study, copy, merge, embed, modify,

+redistribute, and sell modified and unmodified copies of the Font

+Software, subject to the following conditions:

+

+1) Neither the Font Software nor any of its individual components,

+in Original or Modified Versions, may be sold by itself.

+

+2) Original or Modified Versions of the Font Software may be bundled,

+redistributed and/or sold with any software, provided that each copy

+contains the above copyright notice and this license. These can be

+included either as stand-alone text files, human-readable headers or

+in the appropriate machine-readable metadata fields within text or

+binary files as long as those fields can be easily viewed by the user.

+

+3) No Modified Version of the Font Software may use the Reserved Font

+Name(s) unless explicit written permission is granted by the corresponding

+Copyright Holder. This restriction only applies to the primary font name as

+presented to the users.

+

+4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font

+Software shall not be used to promote, endorse or advertise any

+Modified Version, except to acknowledge the contribution(s) of the

+Copyright Holder(s) and the Author(s) or with their explicit written

+permission.

+

+5) The Font Software, modified or unmodified, in part or in whole,

+must be distributed entirely under this license, and must not be

+distributed under any other license. The requirement for fonts to

+remain under this license does not apply to any document created

+using the Font Software.

+

+TERMINATION

+This license becomes null and void if any of the above conditions are

+not met.

+

+DISCLAIMER

+THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,

+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF

+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT

+OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE

+COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,

+INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL

+DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING

+FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM

+OTHER DEALINGS IN THE FONT SOFTWARE.

diff --git a/static/favicon.ico b/static/favicon.ico
new file mode 100644
index 0000000..729ab91
--- /dev/null
+++ b/static/favicon.ico
diff --git a/static/style.css b/static/style.css
new file mode 100644
index 0000000..531350c
--- /dev/null
+++ b/static/style.css
@@ -0,0 +1,107 @@
+@font-face {
+	font-family: EBGaramond;
+	src: url(/static/EBGaramond-VariableFont_wght.ttf) format('woff2-variations');
+	font-style: normal;
+}
+
+@font-face {
+	font-family: EBGaramond;
+	src: url(/static/EBGaramond-Italic-VariableFont_wght.ttf) format('woff2-variations');
+	font-style: italic;
+}
+
+@font-face {
+	font-family: FiraMono;
+	src: url(/static/FiraMono-Regular.ttf);
+	font-style: normal;
+}
+
+body {
+	background: #fdf3f3;
+	color: DarkSlateGrey;
+	font-family: EBGaramond, serif;
+    font-size: large;
+}
+
+a {
+	color: #1eaedb;
+}
+
+a:hover {
+	color: #0e99c4;
+}
+
+.container {
+    margin: 1em;
+}
+
+.row {
+	margin-bottom: 1em;
+}
+
+.title {
+	letter-spacing: -0.5px;
+}
+
+label {
+    margin-right: 4px;
+}
+
+form {
+	border: 1px DarkSlateGrey solid;
+    padding: 10px;
+    padding-left: 25px;
+}
+
+.narrow {
+    max-width: 40em;
+}
+
+.sep {
+    margin-left: 6px;
+    margin-right: 6px;
+}
+
+.nonbreaking {
+	white-space: nowrap;
+}
+
+.focus {
+	font-weight: bold;
+}
+
+input[type="text"] {
+    margin-left: .25em;
+	width: 75%;
+	max-width: 50em;
+    font-family: FiraMono, monospace;
+}
+
+ul {
+    list-style-type: lower-greek;
+}
+
+.theorem {
+    font-size: medium;
+    font-family: FiraMono, monospace;
+}
+
+button {
+    margin-right: 10px;
+}
+
+.valid {
+    background-color: #aed975;
+}
+
+.invalid {
+    background-color: #ff7c7b;
+}
+
+.error {
+    background-color: #c4c4c4;
+}
+
+.validity {
+    font-weight: bold;
+}