Forced-dark theme and a compact IDE

What changed

• The product completed its move to one consistent dark theme, replacing leftover light-mode fragments across components.
• The practice IDE got a compact overhaul: an AI chat panel, mini problem navigation, restored submissions, and less wasted space around code and tests.
• Leaderboards, tournaments, and profile pages were restyled to match the arena look.