##// END OF EJS Templates
make the default url customizable...
make the default url customizable this is the page redirected to from `/`, which defaults to `/tree`. also changes the redirect code to 302 from 301, which should cause less grumbling about caching.

File last commit:

r13942:cb2aacad
r17778:0527e809
Show More
error.less
20 lines | 271 B | text/x-less | LessCssLexer
div.error {
margin: 2em;
text-align: center;
}
div.error > h1 {
font-size: 500%;
line-height: normal;
}
div.error > p {
font-size: 200%;
line-height: normal;
}
div.traceback-wrapper {
text-align: left;
max-width: 800px;
margin: auto;
}