+12

markup.css

··· 453 font-size: 1.125em; 454 font-weight: bold; 455 } 0 0 0 0 0 0 0 0 0 0 0 0

··· 453 font-size: 1.125em; 454 font-weight: bold; 455 } 456 + 457 + /*************/ 458 + /** Styling **/ 459 + /*************/ 460 + 461 + .M-small-caps { 462 + font-variant: small-caps; 463 + } 464 + 465 + .M-overline { 466 + text-decoration: overline; 467 + }

+6

parse.js

··· 445 } break; case '\\sm': { 446 OPEN('small') 447 word_maybe() 0 0 0 0 0 0 448 } break; case '\\b': { 449 OPEN('bold') 450 word_maybe()

··· 445 } break; case '\\sm': { 446 OPEN('small') 447 word_maybe() 448 + } break; case '\\sc': { 449 + OPEN('small_caps') 450 + word_maybe() 451 + } break; case '\\ov': { 452 + OPEN('overline') 453 + word_maybe() 454 } break; case '\\b': { 455 OPEN('bold') 456 word_maybe()

+4

render.js

··· 299 300 small: 𐀶`<small>`, 301 0 0 0 0 302 /*anchor: function({name}) { 303 let e = this() 304 e.id = "Markup-anchor-"+name

··· 299 300 small: 𐀶`<small>`, 301 302 + small_caps: 𐀶`<span class='M-small-caps'>`, 303 + 304 + overline: 𐀶`<span class='M-overline'>`, 305 + 306 /*anchor: function({name}) { 307 let e = this() 308 e.id = "Markup-anchor-"+name