Mercurial > openid
comparison src/ur/openidUser.urs @ 26:ee97bc0e08fa
Some default OPs, along with some tweaks to keep them happy
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 23 Jan 2011 14:57:49 -0500 |
| parents | c560ec5bf514 |
| children | fcd3a977d77b |
comparison
equal
deleted
inserted
replaced
| 25:c560ec5bf514 | 26:ee97bc0e08fa |
|---|---|
| 85 * header. The output gives a "status" chunk, which will either be a login | 85 * header. The output gives a "status" chunk, which will either be a login |
| 86 * form or a message about which user is logged in; and an "other" chunk, | 86 * form or a message about which user is logged in; and an "other" chunk, |
| 87 * which will be a log out or sign up link. *) | 87 * which will be a log out or sign up link. *) |
| 88 | 88 |
| 89 end | 89 end |
| 90 | |
| 91 (* Functor outputs will contain buttons specialized to particular well-known | |
| 92 * OpenID providers. Use these CSS classes to style those buttons. *) | |
| 93 style aol | |
| 94 style google | |
| 95 style myspace | |
| 96 style yahoo | |
| 97 | |
| 98 (* This style is used by forms containing the above buttons. *) | |
| 99 style provider |