override.css
7 lines
| 321 B
| text/css
|
CssLexer
Thomas Kluyver
|
r18481 | /*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.*/ | ||||
| #terminado-container { | ||||
| margin: 8px; | ||||
| } | ||||