That is some custom theme they have on their VsCode though. Not a very good example to use.