Little css polishing

Make sure that the line marking current line is consistent with the others in
Foris.
7 jobs for polishing in 54 seconds (queued for 3 seconds)