Gracias por tu respuesta, Sir Orentar.
En las opciones que dices ya miré todo y estaban como siempre. Ahora, después de 2 ó 3 reinicios se ha vuelto a poner normal. 😕
No entiendo a que se ha podido deber eso. Y, la verdad, quedaba todo muy bonito con el tipo de letra en negrita, por eso me gustaría saber donde se puede cambiar ya que en las opciones de escritorio sólo puedes poner el tamaño de fuente, normal, grande o extragrande pero no el tipo, ni si la quieres en negrita o cursiva.