Dark theme for RFCs