<!---Note: gdbgui is no longer under development. Issues are not monitored. --> **Is your feature request related to a problem? Please describe.** gdbgui's css is a mix of custom css values. This is difficult to maintain. **Describe the solution you'd like** Use tailwind css, and gradually remove all of gdbgui's custom css. https://tailwindcss.com/