diff 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
line wrap: on
line diff
--- a/src/ur/openidUser.urs	Thu Jan 20 12:23:44 2011 -0500
+++ b/src/ur/openidUser.urs	Sun Jan 23 14:57:49 2011 -0500
@@ -87,3 +87,13 @@
      * which will be a log out or sign up link. *)
 
 end
+
+(* Functor outputs will contain buttons specialized to particular well-known
+ * OpenID providers.  Use these CSS classes to style those buttons. *)
+style aol
+style google
+style myspace
+style yahoo
+
+(* This style is used by forms containing the above buttons. *)
+style provider