search

eclipse-sprotty / sprotty-theia

Integration of Sprotty diagrams into Theia IDE
https://eclipse.org/sprotty
Eclipse Public License 2.0
24 stars 14 forks source link

Update CSS styling #48

Closed spoenemann closed 4 years ago

spoenemann commented 4 years ago

Theia has changed its theming to support VS Code (eclipse-theia/theia#6475). Probably we need to update the CSS styles provided here, too.