Almost there - unfortunately I found another couple of issues in server mode (placement of the username, and formatting of the menu). Please see the attached screenshot.
Attached is the patch to migrate pgAdmin4 currently based on Bootstrap 3, to be Bootstrap 4 compatible. The idea is to move to Bootstrap 4 with minimum possible changes in pgAdmin4. I have also used bootstrap scss (and not the dist file of bootstrap) to customize bootstrap as per the need of pgAdmin4.
I have done a basic testing. It may not look alike to that with Bootstrap 3, but it is possible that you may find some discrepancy (which was proper before :P ). Kindly let me know.
Looks good. I spotted a couple of issues though:
- The menu bar is a different colour now (dark grey rather than black). Not the end of the world, but I thought I'd mention it.
I thought of keeping the bootstrap default dark color. Will customize it to black.
- The subnode control has lost some of it's styling. This does need to be fixed I think. See the attached screenshot ( boostrap 3 is on the left).