diff --git a/copyparty/web/browser.css b/copyparty/web/browser.css
index 2ede6e63..2f4f2033 100644
--- a/copyparty/web/browser.css
+++ b/copyparty/web/browser.css
@@ -204,6 +204,9 @@ a, #files tbody div a:last-child {
color: #f4c;
border-bottom: 1px solid rgba(255,68,204,0.6);
}
+#repl {
+ padding: .33em;
+}
#files tbody a.play {
color: #e70;
padding: .2em;
diff --git a/copyparty/web/browser.html b/copyparty/web/browser.html
index cefd0ec1..66b649b4 100644
--- a/copyparty/web/browser.html
+++ b/copyparty/web/browser.html
@@ -113,6 +113,8 @@
{{ logues[1] }}
+
+ π
diff --git a/copyparty/web/md.css b/copyparty/web/md.css
index 501264cc..d7b48e1b 100644
--- a/copyparty/web/md.css
+++ b/copyparty/web/md.css
@@ -8,6 +8,14 @@ html, body {
font-family: sans-serif;
line-height: 1.5em;
}
+#repl {
+ position: absolute;
+ top: 0;
+ right: .2em;
+ border: none;
+ color: inherit;
+ background: none;
+}
#mtw {
display: none;
}
@@ -506,6 +514,9 @@ blink {
border-bottom: .07em solid #4ac;
padding: 0 .3em;
}
+ #repl {
+ display: none;
+ }
#toc>ul {
border-left: .1em solid #84c4dd;
}
diff --git a/copyparty/web/md.html b/copyparty/web/md.html
index d1e72f32..fbb548b2 100644
--- a/copyparty/web/md.html
+++ b/copyparty/web/md.html
@@ -45,6 +45,7 @@
+ π
{%- if edit %}
diff --git a/copyparty/web/mde.css b/copyparty/web/mde.css
index d146e8eb..b0508c2f 100644
--- a/copyparty/web/mde.css
+++ b/copyparty/web/mde.css
@@ -22,6 +22,15 @@ html, body {
bottom: auto;
top: 1.4em;
}
+#repl {
+ position: absolute;
+ top: 0;
+ right: .5em;
+ border: none;
+ color: inherit;
+ background: none;
+ text-decoration: none;
+}
#mn {
font-weight: normal;
margin: 1.3em 0 .7em 1em;
diff --git a/copyparty/web/mde.html b/copyparty/web/mde.html
index 5170865f..20c9fc72 100644
--- a/copyparty/web/mde.html
+++ b/copyparty/web/mde.html
@@ -21,6 +21,7 @@
+ π
+