/* server-logs.css — stili specifici per la pagina Server Logs */