/* Automatic style change after linebreak */

#vt mjx-linestack:has(mjx-linebox:nth-child(4)) > mjx-linebox:first-child  mjx-mstyle {
margin-right:3em; height:1.1em;
}
#naturalproof mjx-linestack:has(mjx-linebox:nth-child(9)) > mjx-linebox:first-child  mjx-mstyle {
margin-right:8.8em; height: 1.1em;
}