anchor.diff:        (:body
           (:nav :class "navbar navbar-inverse navbar-fixed-top" :role "navigation"
             (:div :class "container"
  -            (:div :class "navbar-header"
  -              ;(:a :class "navbar-brand" :href "#" (str (format nil "L(~C)THW" #\greek_small_letter_lamda)))
  -              )
  -            ;(:ul :class "nav navbar-nav"
  -            ;  (:li :class "active" (:a :href "/" "Home"))
  -            ;  (:li (:a :href "/try-lisp/" "Try Lisp"))
  -            ;  (:li (:a :href "/book/" "Book"))
  -            ;  (:li (:a :href "/resources/" "Resources")))
  -              ))
  +            (:div :class "navbar-header")))
           ,@body
           (llthw-footer)
           (:script :src "//code.jquery.com/jquery-1.11.0.min.js")
  
positive.code: ;;;; See LICENSE for additional information.
  
  (in-package :llthw)
  
  (defun reference-search ()
    (loop for k being the hash-keys in *cl-reference-symbols* using (hash-value v)
  
negative.code:         (:div :class "container" :id "body"
            (:div :class "row"
              (:div :class "col-md-9" :id "llthwdoc"
                ,@body
                (:h2 "Comments"))
              (:div :class "col-md-3"
  