Updated spec document formatting

Added richer intradocument hyperlinking and fixed formatting errors.