Brian E. Granger 9438885fdc Fix font size application by adding jp-ui-font-size1 to main containers. há 7 anos atrás
..
src d634e52154 wip clean up rendermime rank handling há 7 anos atrás
style 9438885fdc Fix font size application by adding jp-ui-font-size1 to main containers. há 7 anos atrás
package.json 2485eaae61 Publish há 7 anos atrás
tsconfig.json d8fe2c3360 Settings with comments (#3167) há 7 anos atrás