Fix activeline in monokai theme