Rev 7429 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
.user_error h1{
color:darkred;
}
.user_error code{
margin:0 1em;