jenkins-bot has submitted this change and it was merged.
Change subject: Support <small>.
......................................................................
Support <small>.
Change-Id: I5dcf60362b26f49693d3e8c973032f50e8cbf294
---
M lib/index.js
1 file changed, 4 insertions(+), 1 deletion(-)
Approvals:
Cscott: Looks good to me, approved
jenkins-bot: Verified
diff --git a/lib/index.js b/lib/index.js
index caa1e91..107ce8f 100644
--- a/lib/index.js
+++ b/lib/index.js
@@ -110,6 +110,7 @@
// Set the default font
"\\setmainfont[" + (SCRIPT_FONTS['default'].options||'') + "]{" +
SCRIPT_FONTS['default'].name + "}",
"\\newcommand{\\LTRfont}{}",
+ "\\newcommand{\\textsmall}[1]{\\small #1}",
"\\date{}\\author{}"
].join("\n");
@@ -629,9 +630,11 @@
'B': '\\textbf',
'I': '\\emph',
'SUB': '\\textsubscript',
- 'SUP': '\\textsuperscript'
+ 'SUP': '\\textsuperscript',
+ 'SMALL': '\\textsmall'
};
var visitINLINE =
+Visitor.prototype.visitSMALL =
Visitor.prototype.visitB =
Visitor.prototype.visitI = function(node, name) {
return this.wrap(tag2cmd[name || node.nodeName], node);
--
To view, visit https://gerrit.wikimedia.org/r/107582
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5dcf60362b26f49693d3e8c973032f50e8cbf294
Gerrit-PatchSet: 1
Gerrit-Project:
mediawiki/extensions/Collection/OfflineContentGenerator/latex_renderer
Gerrit-Branch: master
Gerrit-Owner: Cscott <canan...@wikimedia.org>
Gerrit-Reviewer: Cscott <canan...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
