赤字の色

解析のノートの赤字を、少し薄くしてみる。