The argdown theme in vscode (that is recommended to install) is surprisingly nice as well. Does anyone know if it's a derivative of something?