README: Markdown improvements

Signed-off-by: William Woodruff <[email protected]>
trailofbits · Nov 1, 2022 · 5799c32 · 5799c32
1 parent e4fa14b
commit 5799c32
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -16,15 +16,20 @@ in addition to a CLI program for proving/verifying statements specified in Brist
 to enable easy experimentation.
 
 ## Running
+
 Reverie requires a relatively recent `nightly` Rust.
 
 Using `SSE+AESNI`
 
-    time RUSTFLAGS="-C target-cpu=native -C target-feature=+aes,+ssse3,+sse2" cargo run --release
+```console
+time RUSTFLAGS="-C target-cpu=native -C target-feature=+aes,+ssse3,+sse2" cargo run --release
+```
 
 Or even better with `AVX2+AESNI`
 
-    time RUSTFLAGS="-C target-cpu=native -C target-feature=+aes,+ssse3,+sse2,+avx2" cargo run --release
+```console
+time RUSTFLAGS="-C target-cpu=native -C target-feature=+aes,+ssse3,+sse2,+avx2" cargo run --release
+```
 
 ## Improvements in 0.3+