##// END OF EJS Templates
Use require.js to load widget manager.
Use require.js to load widget manager.

File last commit:

r14236:711a8d78
r14253:75ef14ea
Show More
widgetarea.less
12 lines | 259 B | text/x-less | LessCssLexer
div.widget_area {
page-break-inside: avoid;
.hbox();
}
/* This class is for the widget subarea inside the widget_area and after
the prompt div. */
div.widget_subarea {
padding: 0.44em 0.4em 0.4em 1px;
margin-left: 6px;
.box-flex1();
}