##// END OF EJS Templates
#7548: A bang, "!", followed by an equal sign, "=", is not a shell escape.
#7548: A bang, "!", followed by an equal sign, "=", is not a shell escape.

File last commit:

r19656:c4fbb9a4
r20146:cfc41c06
Show More
override.css
7 lines | 310 B | text/css | CssLexer
Jonathan Frederic
Prevent terminal from scrolling
r19656 /*This file contains any manual css for this page that needs to override the global styles.
This is only required when different pages style the same element differently. This is just
a hack to deal with our current css styles and no new styling should be added in this file.*/
body {
overflow: hidden;
}