summaryrefslogtreecommitdiff
path: root/ext
diff options
context:
space:
mode:
Diffstat (limited to 'ext')
-rw-r--r--ext/data/schemas/dictionary-term-bank-v3-schema.json16
-rw-r--r--ext/js/display/sandbox/structured-content-generator.js16
2 files changed, 31 insertions, 1 deletions
diff --git a/ext/data/schemas/dictionary-term-bank-v3-schema.json b/ext/data/schemas/dictionary-term-bank-v3-schema.json
index af4494ff..abb4e58f 100644
--- a/ext/data/schemas/dictionary-term-bank-v3-schema.json
+++ b/ext/data/schemas/dictionary-term-bank-v3-schema.json
@@ -215,6 +215,22 @@
"type": "string",
"enum": ["baseline", "sub", "super", "text-top", "text-bottom", "middle", "top", "bottom"],
"default": "baseline"
+ },
+ "marginTop": {
+ "type": "number",
+ "default": 0
+ },
+ "marginLeft": {
+ "type": "number",
+ "default": 0
+ },
+ "marginRight": {
+ "type": "number",
+ "default": 0
+ },
+ "marginBottom": {
+ "type": "number",
+ "default": 0
}
}
}
diff --git a/ext/js/display/sandbox/structured-content-generator.js b/ext/js/display/sandbox/structured-content-generator.js
index f0e70c4d..82bf0421 100644
--- a/ext/js/display/sandbox/structured-content-generator.js
+++ b/ext/js/display/sandbox/structured-content-generator.js
@@ -216,7 +216,17 @@ class StructuredContentGenerator {
_setStructuredContentElementStyle(node, contentStyle) {
const {style} = node;
- const {fontStyle, fontWeight, fontSize, textDecorationLine, verticalAlign} = contentStyle;
+ const {
+ fontStyle,
+ fontWeight,
+ fontSize,
+ textDecorationLine,
+ verticalAlign,
+ marginTop,
+ marginLeft,
+ marginRight,
+ marginBottom
+ } = contentStyle;
if (typeof fontStyle === 'string') { style.fontStyle = fontStyle; }
if (typeof fontWeight === 'string') { style.fontWeight = fontWeight; }
if (typeof fontSize === 'string') { style.fontSize = fontSize; }
@@ -226,5 +236,9 @@ class StructuredContentGenerator {
} else if (Array.isArray(textDecorationLine)) {
style.textDecoration = textDecorationLine.join(' ');
}
+ if (typeof marginTop === 'number') { style.marginTop = `${marginTop}em`; }
+ if (typeof marginLeft === 'number') { style.marginLeft = `${marginLeft}em`; }
+ if (typeof marginRight === 'number') { style.marginRight = `${marginRight}em`; }
+ if (typeof marginBottom === 'number') { style.marginBottom = `${marginBottom}em`; }
}
}