From 17318bc70dd0a3712d0a2c94a180dd9f614c97b0 Mon Sep 17 00:00:00 2001
From: Ryan Hendrickson <ryan.hendrickson@alum.mit.edu>
Date: Wed, 31 Jul 2024 19:22:17 -0400
Subject: [PATCH] docs: fix string literal example formatting

---
 doc/manual/src/language/string-literals.md | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/doc/manual/src/language/string-literals.md b/doc/manual/src/language/string-literals.md
index 7605e8c61..8f4b75f3e 100644
--- a/doc/manual/src/language/string-literals.md
+++ b/doc/manual/src/language/string-literals.md
@@ -36,7 +36,7 @@ The following must be escaped to represent them within a string, by prefixing wi
 > "\""
 > ```
 >
->    "\""
+>     "\""
 
 - Backslash (`\`)
 
@@ -46,7 +46,7 @@ The following must be escaped to represent them within a string, by prefixing wi
 > "\\"
 > ```
 >
->    "\\"
+>     "\\"
 
 - Dollar sign followed by an opening curly bracket (`${`) – "dollar-curly"
 
@@ -56,7 +56,7 @@ The following must be escaped to represent them within a string, by prefixing wi
 > "\${"
 > ```
 >
->    "\${"
+>     "\${"
 
 The newline, carriage return, and tab characters can be written as `\n`, `\r` and `\t`, respectively.
 
@@ -68,7 +68,7 @@ A "double-dollar-curly" (`$${`) can be written literally.
 > "$${"
 > ```
 >
->    "$\${"
+>     "$\${"
 
 String values are output on the terminal with Nix-specific escaping.
 Strings written to files will contain the characters encoded by the escaping.
@@ -107,10 +107,11 @@ each line, so the resulting string is
 > >
 > > The following indented string is prefixed with tabs:
 > >
-> > ''
+> > <pre><code class="nohighlight">''
 > > 	all:
 > > 		@echo hello
 > > ''
+> > </code></pre>
 > >
 > >     "\tall:\n\t\t@echo hello\n"