.line.highlight{background-color:#dbeafe80}.line.highlight:is(.dark *){background-color:#40404080}