Muchas gracias. Esto me obliga también a preguntar si conoceis algún editor CSS que soporte la opción de cambiar las propiedades del scrollbar. Hasta ahora usaba el Morphon css editor 1.3.6, pero estoy viendo que está algo limitado en lo que opciones que permite el css se refiere.
Que editor (gratuito, por supuesto) me recomendais?

Un saludo, y gracias de nuevo