eclipse-ee4j / starter

Eclipse Starter for Jakarta EE
Eclipse Public License 2.0
50 stars 39 forks source link

Improve look and feel of UI #252

Closed kito99 closed 1 year ago

kito99 commented 1 year ago

PR for #248; replaces #249.

eclipse-starter-bot commented 1 year ago

Can one of the admins verify this patch?

kito99 commented 1 year ago

Here's what it looks like (horizontal line indicates the bottom of the page before you scroll):

2023-04-22_10-43-54