Update.

Change-Id: Ic210fca0cfbe6f30676017e1d573d904d583ae90
diff --git a/.gitignore b/.gitignore
index b25c15b..ebdbf97 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,5 @@
 *~
+/rust-tutorial.html
+
+/target
+**/*.rs.bk
diff --git a/rust-tutorial.adoc b/rust-tutorial.adoc
index 5659ac2..f50d181 100644
--- a/rust-tutorial.adoc
+++ b/rust-tutorial.adoc
@@ -11,7 +11,8 @@
 :keywords: MI, MSW, eGym, Rust
 // Settings
 :icons: font
-:source-highlighter: pygments
+:source-highlighter: prettify
+:doctype: book
 
 These are the lecture notes for the introduction to the Rust
 programming language held at eGym in 2019.
@@ -23,6 +24,15 @@
 
 == Basic Types
 === `u8`, `i32`, `f64`
+[source,rust,subs="verbatim,attributes"]
+----
+let a = 100;
+let b = 1.0;
+let c = 100u8;
+
+let d = 2*a;
+----
+
 === Structs
 === `impl Struct`
 === Enums
@@ -42,6 +52,8 @@
 == Tidbits
 === Clippy
 === Lambdas
+=== Doctests
+
 
 = Part II: The Standard Library
 
@@ -52,7 +64,10 @@
 === `Vec`, `&[]`
 === `Fn`
 === `Iter`
+
+== More Traits
 === `impl Trait`
+=== `Sized`
 
 == Safe Concurrency
 === `Sync`