common/views.aug
OpenID Connect login application · Source and specification
Files in this project
main.augclient/contracts.augclient/endpoints.augclient/export.augclient/login.augclient/logout.augclient/protocol.augclient/session.augclient/views.augcommon/export.augcommon/headers.augcommon/keys.augcommon/settings.augcommon/views.augprovider/authorization.augprovider/contracts.augprovider/credentials.augprovider/discovery.augprovider/export.augprovider/token.augprovider/userinfo.augprovider/views.aug
Code
// aug-spec: "views.aug.md" explains this file. Read it before changes; refresh with aug spec.
/** Small server components keep each page's behavior and dependencies visible. */
Page(string title, List<Html> children):
return <html lang={"en"}><head><meta charset={"utf-8"} /><meta name={"viewport"} content={"width=device-width, initial-scale=1"} /><title>{title} — August</title></head><body style={"margin:0;background:#f3f5f9;color:#17233a;font:17px system-ui,sans-serif;line-height:1.6"}><main style={"max-width:640px;margin:48px auto;padding:28px;background:white;border-radius:20px;box-shadow:0 12px 48px #17233a12"}><nav><a href={"/"} style={"color:#4852d7;font-weight:750;text-decoration:none"}>August · OpenID Connect</a></nav><h1>{title}</h1>{children}</main></body></html>// aug-spec: "views.aug.md" explains this file. Read it before changes; refresh with aug spec.
/** Small server components keep each page's behavior and dependencies visible. */
Page(string title, List<Html> children) {
return <html lang={"en"}><head><meta charset={"utf-8"} /><meta name={"viewport"} content={"width=device-width, initial-scale=1"} /><title>{title} — August</title></head><body style={"margin:0;background:#f3f5f9;color:#17233a;font:17px system-ui,sans-serif;line-height:1.6"}><main style={"max-width:640px;margin:48px auto;padding:28px;background:white;border-radius:20px;box-shadow:0 12px 48px #17233a12"}><nav><a href={"/"} style={"color:#4852d7;font-weight:750;text-decoration:none"}>August · OpenID Connect</a></nav><h1>{title}</h1>{children}</main></body></html>
}Compiled specification
Page · source
Small server components keep each page's behavior and dependencies visible. It takes title as a string and children as List<Html>.
It returns the HTML element html with lang = "en" containing the HTML element head containing the HTML element meta with charset = "utf-8" with escaped text, the HTML element meta with name = "viewport", content = "width=device-width, initial-scale=1" with escaped text, the HTML element title containing title, — August with escaped text with escaped text, the HTML element body with style = "margin:0;background:#f3f5f9;color:#17233a;font:17px system-ui,sans-serif;line-height:1.6" containing the HTML element main with style = "max-width:640px;margin:48px auto;padding:28px;background:white;border-radius:20px;box-shadow:0 12px 48px #17233a12" containing the HTML element nav containing a link with href = "/", style = "color:#4852d7;font-weight:750;text-decoration:none" containing August · OpenID Connect with escaped text with escaped text, a heading containing title with escaped text, children with escaped text with escaped text with escaped text. source
Checked interface
Page(string title, List<Html> children) returns HtmlIt takes title as a string and children as List<Html>.