mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 08:34:54 +00:00
8dfbc5baa5
Objectives: * Got rid of mw prefixing in tools, inspectors and dialogs * Simplify tool classes so they can be generically used as items in bars, lists and menus * Add support for a catch-all toolbar group * Simplify tool registration, leaning on tool classes' static name property * Move default commands to command registry * Move default triggers to trigger registry * Get language tool working in standalone Change-Id: Ic97a636f9a193374728629931b6702bee1b3416a
40 lines
919 B
CSS
40 lines
919 B
CSS
/* ve.ui.FormatTool */
|
|
|
|
.ve-ui-menuToolGroup .ve-ui-tool-paragraph .ve-ui-labeledElement-label {
|
|
font-weight: normal;
|
|
}
|
|
|
|
.ve-ui-menuToolGroup .ve-ui-tool-heading1 .ve-ui-labeledElement-label {
|
|
font-size: 150%;
|
|
font-weight: normal;
|
|
}
|
|
|
|
.ve-ui-menuToolGroup .ve-ui-tool-heading2 .ve-ui-labeledElement-label {
|
|
font-size: 120%;
|
|
font-weight: normal;
|
|
}
|
|
|
|
.ve-ui-menuToolGroup .ve-ui-tool-heading3 .ve-ui-labeledElement-label {
|
|
font-size: 105%;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.ve-ui-menuToolGroup .ve-ui-tool-heading4 .ve-ui-labeledElement-label {
|
|
font-size: 92%;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.ve-ui-menuToolGroup .ve-ui-tool-heading5 .ve-ui-labeledElement-label {
|
|
font-size: 80%;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.ve-ui-menuToolGroup .ve-ui-tool-heading6 .ve-ui-labeledElement-label {
|
|
font-size: 64%;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.ve-ui-menuToolGroup .ve-ui-tool-preformatted .ve-ui-labeledElement-label {
|
|
font-family: monospace, "Courier New";
|
|
}
|