diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2016-05-19 16:06:59 +0100 |
|---|---|---|
| committer | Jforrester <jforrester@wikimedia.org> | 2016-05-19 16:25:00 +0000 |
| commit | 82d6f1d89fb4521ea2355832aff4b4e0f9ba27fa (patch) | |
| tree | 21549d84c00877b9680c4de59831f38d870a591d /mw-config/config-cc.css | |
| parent | 2158c7f901ae6373a45bbbc27d981eba390f4418 (diff) | |
| download | mediawikicore-82d6f1d89fb4521ea2355832aff4b4e0f9ba27fa.tar.gz mediawikicore-82d6f1d89fb4521ea2355832aff4b4e0f9ba27fa.zip | |
build: Enforce stylelints on fonts
* Font families should be quoted unless keywords (''Times'' not 'Times')
* Font weights should be named where possible ('bold' not '700')
Change-Id: I20194c2998efb71db4da5ea79234a81dc90b55ea
Diffstat (limited to 'mw-config/config-cc.css')
| -rw-r--r-- | mw-config/config-cc.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mw-config/config-cc.css b/mw-config/config-cc.css index 29dc80c67c12..f9c61178aa98 100644 --- a/mw-config/config-cc.css +++ b/mw-config/config-cc.css @@ -5,7 +5,7 @@ body { margin: 0; background: #eee; - font-family: Verdana; + font-family: 'Verdana'; color: #333; } |