aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRunxi Yu <me@runxiyu.org>2024-12-05 05:09:48 +0800
committerRunxi Yu <me@runxiyu.org>2024-12-05 05:09:48 +0800
commitd787e3ec2edb7d4d126ba70d66687f288c7e78b1 (patch)
treefcc33f5c58d825120e6921c7c3898c79ad6836c9
parentMore details about overflow (diff)
downloade2-spec-d787e3ec2edb7d4d126ba70d66687f288c7e78b1.tar.gz
e2-spec-d787e3ec2edb7d4d126ba70d66687f288c7e78b1.tar.zst
e2-spec-d787e3ec2edb7d4d126ba70d66687f288c7e78b1.zip
Pandoc
-rw-r--r--.gitignore1
-rw-r--r--Makefile7
-rw-r--r--README.md5
-rw-r--r--style.css336
4 files changed, 348 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..7bd2dc8
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+/README.html
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..579aa92
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,7 @@
+.PHONY: upload
+
+README.html: README.md
+ pandoc -so README.html -c style.css README.md
+
+upload: README.html style.css
+ rsync --mkpath README.html style.css runxiyu.org:/var/www/docs/e2/
diff --git a/README.md b/README.md
index 18b9805..3fe28d7 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,7 @@
-# e2 language testing space
+---
+title: e2 language testing space
+author: Test_User and Runxi Yu
+---
Many languages attempt to be "memory safe" by processes such as reference
counting, borrow checking, and mark-and-sweep garbage collection. These, for
diff --git a/style.css b/style.css
new file mode 100644
index 0000000..fa1ef83
--- /dev/null
+++ b/style.css
@@ -0,0 +1,336 @@
+/*
+ * SPDX-License-Identifier: CC0-1.0
+ * Primarily written by Drew Devault
+ * I asked him whether this could be PD as I want to keep this repo PD. Thanks!
+ *
+ * Pretty-printed with a simple C program, https://git.sr.ht/~runxiyu/cssindent.
+ * Not some in-browser JS bullshit on an external site.
+ */
+html {
+ font-family: system-ui, sans-serif;
+ --bg: hsl(32, 98%, 92%);
+ --fg: #1E1F21;
+ --boxbg: hsl(32, 60%, 88%);
+ --border: rgb(180, 180, 180);
+ --dim-text-color: #333;
+ --link-color: #24527d;
+ --text-decoration-color: #CCC;
+ color: var(--fg);
+ background-color: var(--bg);
+}
+
+code, pre {
+ font-family: "DejaVu Sans Mono", monospace;
+}
+
+.literary {
+ font-family: "TeX Gyre Pagella", "Palatino", serif;
+}
+.poem {
+ max-width: 35rem;
+}
+
+body {
+ margin: 0 auto;
+ padding: 1rem;
+}
+
+body:not(.wider-body) {
+ max-width: 920px;
+}
+
+body.wider-body {
+ max-width: 1150px;
+}
+
+h1 {
+ margin-top: 0;
+ font-size: 1.5rem;
+}
+
+h1 small {
+ display: block;
+ font-size: 1rem;
+}
+
+.flexcols {
+ display: flex;
+ flex-direction: row;
+ gap: 5rem;
+ align-items: top;
+}
+
+@media(max-width: 50rem) {
+ .flexcols {
+ flex-wrap: wrap;
+ gap: 3rem;
+ }
+}
+
+.flexcols > .flexcol {
+ min-width: 18em;
+ width: 100%;
+ margin-left: auto;
+ margin-right: auto;
+}
+
+.index {
+ max-width: 920px;
+}
+
+.article-list .article {
+ margin-bottom: 1rem;
+}
+
+.index .article-list .date {
+ display: block;
+ color: var(--dim-text-color);
+}
+
+.index aside {
+}
+
+.index aside img {
+ display: block;
+ margin: 0 auto 1rem;
+ border-radius: 5px;
+}
+
+.index aside dt {
+ font-size: .9rem;
+}
+
+.index aside dd {
+ margin-left: 0;
+}
+
+.index aside dd:not(:last-child) {
+ margin-bottom: .5rem;
+}
+
+.index aside ul {
+ margin-left: 0;
+ padding-left: 1.5rem;
+}
+
+.index aside ul > li + li {
+ margin-top: .3rem;
+ margin-left: 0;
+}
+
+@media(max-width: 50rem) {
+ .index aside .hide-when-narrow {
+ display: none;
+ }
+}
+
+article {
+ margin: 0 auto;
+ max-width: 720px;
+ line-height: 1.3;
+}
+
+article img, article video, article iframe {
+ display: block !important;
+ margin: 0 auto !important;
+ max-width: 90%;
+}
+
+@media(max-width: 640px) {
+ article img, article video, article iframe {
+ max-width: calc(100% - 2rem);
+ }
+}
+
+article sup {
+ line-height: 1;
+}
+
+article .comment {
+ margin: 2rem auto 0;
+ max-width: 80%;
+ color: var(--dim-text-color);
+}
+
+a:link {
+ text-decoration-color: var(--text-decoration-color);
+ color: var(--link-color);
+}
+a:visited {
+ text-decoration-color: var(--text-decoration-color);
+ color: var(--link-color);
+}
+
+.footnotes {
+ font-size: .85rem;
+}
+
+footer {
+ margin-top: 2rem;
+ text-align: center;
+ font-size: .8rem;
+ color: var(--dim-text-color);
+}
+
+.float-img {
+ float: right;
+ display: inline;
+ padding-left: 1rem;
+}
+
+@media(max-width: 640px) {
+ .float-img {
+ display: block;
+ float: none;
+ padding-left: inherit;
+ }
+}
+
+summary {
+ cursor: pointer;
+ background-color: var(--boxbg);
+ padding: .25rem 1rem;
+ margin: 0 -1rem;
+}
+
+details[open] {
+ border-bottom: 1rem solid var(--boxbg);
+ margin: 0 -1rem 1rem;
+ padding: 0 1rem;
+}
+
+.text-center {
+ text-align: center;
+}
+
+blockquote {
+ background-color: var(--boxbg);
+ padding: 3px;
+ margin-left: 0;
+ margin-right: 0;
+}
+
+blockquote ul {
+ margin-top: 0;
+ margin-bottom: 0;
+ margin-left: 0;
+}
+
+blockquote blockquote {
+ margin-right: 0;
+ margin-left: 0;
+}
+
+blockquote p:first-child {
+ margin-top: 0;
+}
+
+blockquote p:last-child {
+ margin-bottom: 0;
+}
+
+dl {
+ display: grid;
+ grid-template-columns: auto 1fr;
+ grid-gap: .2rem 1rem;
+}
+
+dl dt {
+ font-weight: 700;
+ grid-column-start: 1;
+}
+
+dl dd {
+ grid-column-start: 2;
+ margin: 0;
+}
+
+.alert {
+ padding: .5rem;
+ border: 1px solid transparent;
+ margin-bottom: 1rem;
+}
+
+.alert.alert-danger {
+ background: #f8d7da;
+ color: #721c24;
+ border-color: #f5c6cb;
+}
+
+.alert.alert-info {
+ background: #d1ecf1;
+ color: #0c5460;
+ border-color: #bee5eb;
+}
+
+table {
+ margin-top: .4em;
+ margin-bottom: .4em;
+ border-collapse: collapse;
+ border: 1px solid var(--border);
+ font-size: 90%;
+}
+
+table.wide {
+ width: 100%;
+}
+
+th[scope~=row] {
+ width: 6em;
+ text-align: right;
+}
+
+th[scope~=col] {
+}
+
+td {
+ border: 1px solid;
+ text-align: left;
+ height: 1.25rem;
+ border: 1px solid var(--border);
+ padding: 3px 5px;
+}
+
+table.fat td {
+ padding: 6px 5px;
+}
+
+td.th-like, th {
+ background-color: var(--boxbg) !important;
+ border: 1px solid var(--border);
+ font-weight: 700;
+ padding: 3px 5px;
+}
+
+@media(prefers-color-scheme:dark) {
+ html {
+ --bg: #1E1F21;
+ --fg: #EEEFF1;
+ --dim-text-color: #999;
+ --boxbg: #2E2F31;
+ --border: rgb(80, 80, 80);
+ --link-color: #5ca7ed;
+ --text-decoration-color: #474747;
+ }
+}
+
+.almost-transparent {
+ opacity: 10%;
+}
+.almost-transparent:hover {
+ opacity: 50%;
+}
+
+.title {
+ text-align: center;
+ font-size: 180%;
+}
+
+.author {
+ text-align: center;
+ font-size: 120%;
+}
+
+/*
+ * vim: ts=8 sw=8 noexpandtab
+ */