diff --git a/extension.json b/extension.json index 2eda62a0..903af81f 100644 --- a/extension.json +++ b/extension.json @@ -160,7 +160,8 @@ "scripts": "js/ext.uls.common.js", "styles": "css/ext.uls.less", "skinStyles": { - "monobook": "css/ext.uls-monobook.css" + "monobook": "css/ext.uls-monobook.css", + "vector": "css/ext.uls-vector.less" }, "dependencies": [ "mediawiki.api", diff --git a/resources/css/ext.uls-vector.less b/resources/css/ext.uls-vector.less new file mode 100644 index 00000000..2ea05265 --- /dev/null +++ b/resources/css/ext.uls-vector.less @@ -0,0 +1,3 @@ +.uls-menu { + font-size: 0.875em; // not inherited from `.mw-body-content`, as we insert at `body` +}