this repo has no description

experimental support for numbered lists

12Me21 2c681d8c 8739a005

+11 -5
+9 -3
markup.css
··· 295 295 /***********/ 296 296 /** Lists **/ 297 297 /***********/ 298 - .Markup ul { 298 + 299 + /* todo: having 2 separate list tags sucks. let's just use <ol> and style it with css. there's no such thing as an unordered list, right? even if it's not NUMBERED, it's still ORDERED (implicitly, based on which item you wrote first), maybe? */ 300 + .Markup ul, .Markup ol { 299 301 padding-left: 1.3125em; 300 302 /*border: 4px solid transparent; 301 303 border-left: 4px solid var(--T-border-color);*/ 302 304 } 303 305 304 - /* todo: this isn't valid, need to change how we generate this */ 305 - .Markup ul > ul { 306 + /* todo: this isn't valid html, need to change how we generate this */ 307 + .Markup ul > ul, .Markup ol > ul, .Markup ul > ol, .Markup ol > ol, { 306 308 padding-left: 1em; 307 309 } 308 310 309 311 .Markup li { 310 312 margin: 0.25em 0; 313 + } 314 + 315 + .Markup ol > li::marker { 316 + font-weight: bold; 311 317 } 312 318 313 319 /*************/
+2 -2
parse.js
··· 246 246 dest = get_last(curr) 247 247 if (!dest || 'list'!==dest.type || dest.args.indent>indent) { 248 248 // create a new level in the list 249 - dest = push(curr, 'list', {indent}, []) 249 + dest = push(curr, 'list', {indent, style:o.args.kind}, []) 250 250 break 251 251 } 252 252 } while (dest.args.indent != indent) ··· 645 645 } 646 646 ACCEPT() 647 647 let indent = token.indexOf("-") 648 - OPEN('list_item', {indent}) 648 + OPEN('list_item', {indent, kind:rargs[0]==="1"?"1":undefined}) 649 649 } } 650 650 651 651 if (body) {