\begin{document} のラインとかに色をつけています.前から使っているんですが,結構便利ですよ.
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。