/* Admin stylesheet — extracted from index.html's inline