cortav  Diff

Differences From Artifact [35da212f52]:

To Artifact [e8a2cf6308]:


82
83
84
85
86
87
88



89
90
91
92
93
94
95
			}
			ol.toc > ol > li {
				list-style: decimal;
			}
				ol.toc > li > ol > li > ol > li {
					list-style: enclosed;
				}



	}
]]

ct.ext.install {
	id = 'toc';
	desc = 'provides a table of contents for HTML renderer plus generic fallback';
	version = ss.version {0,1; 'devel'};







>
>
>







82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
			}
			ol.toc > ol > li {
				list-style: decimal;
			}
				ol.toc > li > ol > li > ol > li {
					list-style: enclosed;
				}
					ol.toc > li > ol > li > ol > li > ol > li {
						list-style: lower-roman;
					}
	}
]]

ct.ext.install {
	id = 'toc';
	desc = 'provides a table of contents for HTML renderer plus generic fallback';
	version = ss.version {0,1; 'devel'};