/* ProofOS theme — dark terminal aesthetic */