Un píxel es un píxel, realmente no admite decimales.
Pues no sé si hay alguna herramienta para eso. Porque no es sólo mirar lineas duplicadas, sino lineas duplicadas en selectores iguales, porque lineas iguales habrán muchas, como
position: relative.
Realmente esto te lo ahorrarías si mantuvieras el código limpio y ordenado, fraccionando en varios archivos tus estilos (yo acabo de empezar un proyecto y tengo 21 archivos) y borrando sobre la marcha lo que no vayas a usar, y no dejarlo ahí como quien tira una colilla al suelo.
