Fix rascal-shell block in doc

usethesource · Jul 8, 2023 · e5694d7 · e5694d7
1 parent 73c6ea7
commit e5694d7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/org/rascalmpl/library/Content.rsc b/src/org/rascalmpl/library/Content.rsc
@@ -10,9 +10,9 @@ Values wrapped in a `Content` wrapper will be displayed by interactive
 Rascal applications such as the IDE, the REPL terminal and the documentation pages. 
 
 For example, a piece of html can be displayed directly like such:
-[source,rascal-shell]
+```rascal-shell
 html("\<a href=\"http://www.rascal-mpl.org\"\>Rascal homepage\</a\>")
-----
+```
 
 In its most general form, `Content` is an HTTP(s) webserver callback, such that you might deliver
 any kind of content, based on any kind of request. If you produce a `Content` value