TODO

++ Add thrown type descriptions.
++ Make current member filter more noticeable.
++ Add class overview as default page.
   ++ Make the title be a link to the default page.
++ Add modifier information to non-attribute members (public, static, etc.).
-- Add structured production representation.
-- Add type hierarchy in type details.
    -- Add direct subtypes.
-- Add declared-at info for types.