Commit 9f2868f2 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

improve layout of unabbrev checkboxes

parent 25a60ff8
Pipeline #3993 passed with stage
in 1 minute and 34 seconds
......@@ -140,15 +140,16 @@ const styles = theme => ({
color: theme.palette.common.white
}
},
unabbrevbox: {
height: "auto",
width: "auto",
paddingLeft: "5px"
unabbrevboxroot: {
marginRight: "10px",
},
unabbrevboxlabel: {
marginLeft: "-10px",
},
unabbrevlabel: {
...theme.typography.body1,
paddingLeft: "10px",
paddingRight: "15px"
paddingLeft: "8px",
paddingRight: "10px"
},
parseerror: {
color: theme.palette.error.main
......@@ -602,9 +603,10 @@ class LtlUnabbrevOptions extends React.Component {
disabled={syntaxId === 1 && "MW^".indexOf(key) >= 0}
onChange={this.props.handleChangeLtlUnabbrev(key)}
color="primary"
className={this.props.classes.unabbrevbox}
/>
}
classes={{root: this.props.classes.unabbrevboxroot,
label: this.props.classes.unabbrevboxlabel}}
label={<code>{values[1][syntaxId]}</code>}
/>
);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment