/* dashboard.css — extracted from dashboard.html's inline