--- a/relpipe-data/css/relpipe.css	Fri Jan 18 13:18:54 2019 +0100
+++ b/relpipe-data/css/relpipe.css	Fri Jan 18 21:34:58 2019 +0100
@@ -76,3 +76,7 @@
 #text code {
 	color: #066;
 }
+
+.already-implemented {
+	color: grey;
+}
\ No newline at end of file