blob: df435556cda52257d73e39f733b3d7a534a385b0 [file]
.highlight {
line-height: normal;
}