diff --git a/info.rkt b/info.rkt
index 934446d..a7db360 100644
--- a/info.rkt
+++ b/info.rkt
@@ -11,6 +11,7 @@
 (define build-deps
   '("rackunit-lib"
     "scribble-lib"
+    "sandbox-lib"
     "racket-doc"
     ))
 
diff --git a/turnstile/info.rkt b/turnstile/info.rkt
index 075aea2..32b864e 100644
--- a/turnstile/info.rkt
+++ b/turnstile/info.rkt
@@ -1,7 +1,7 @@
 #lang info
 
 (define scribblings
-  '(["scribblings/turnstile.scrbl" ()]))
+  '(["scribblings/turnstile.scrbl" (multi-page)]))
 
 (define compile-omit-paths 
   '("examples/rosette"
diff --git a/turnstile/scribblings/guide.scrbl b/turnstile/scribblings/guide.scrbl
index e30419c..6c18d87 100644
--- a/turnstile/scribblings/guide.scrbl
+++ b/turnstile/scribblings/guide.scrbl
@@ -5,7 +5,7 @@
                      (except-in turnstile/turnstile ⊢))
           "doc-utils.rkt" "common.rkt")
 
-@title{Guide}
+@title{The Turnstile Guide}
 
 This guide explains how to use Turnstile to implement a series of languages with
 some common type system features.
diff --git a/turnstile/scribblings/reference.scrbl b/turnstile/scribblings/reference.scrbl
index be84507..12d6e36 100644
--- a/turnstile/scribblings/reference.scrbl
+++ b/turnstile/scribblings/reference.scrbl
@@ -5,7 +5,7 @@
                      (except-in turnstile/turnstile ⊢ stx))
           "doc-utils.rkt" "common.rkt")
 
-@title{Reference}
+@title{The Turnstile Reference}
 
 @section{Typing Unicode Characters}
 
diff --git a/turnstile/scribblings/turnstile.scrbl b/turnstile/scribblings/turnstile.scrbl
index e913aae..e680c2b 100644
--- a/turnstile/scribblings/turnstile.scrbl
+++ b/turnstile/scribblings/turnstile.scrbl
@@ -2,16 +2,14 @@
 
 @(require (for-label racket/base))
 
-@title{The @racketmodname[turnstile] language}
+@title[#:style '(toc)]{The @racketmodname[turnstile] language}
 
 @defmodule[turnstile #:lang #:use-sources (turnstile/turnstile)]
 
-@(author 
+@(author
+  (author+email "Stephen Chang" "stchang@racket-lang.org" #:obfuscate? #t)
   (author+email "Alex Knauth" "alexander@knauth.org" #:obfuscate? #t)
-  (author+email "Ben Greenman" "types@ccs.neu.edu" #:obfuscate? #t)
-  (author+email "Stephen Chang" "stchang@racket-lang.org" #:obfuscate? #t))
-
-@section{Introduction}
+  (author+email "Ben Greenman" "types@ccs.neu.edu" #:obfuscate? #t))
 
 Turnstile aims to help Racket programmers create typed languages. It does so
 with extensions of Racket's macro-definition forms that facilitate
@@ -22,9 +20,7 @@ Thus, a complete typed language implementation remains a series of macro
 definitions that may be imported and exported in the standard way that Racket
 programmers are accustomed to.
 
-@itemlist[
- @item[@secref{Guide}]
- @item[@secref{Reference}]]
+@local-table-of-contents[]
 
 @include-section{guide.scrbl}
 @include-section{reference.scrbl}