Fix indentation on src/themes/mediawiki/tools.less
Fix indentation on src/themes/mediawiki/tools.less

Change-Id: I561e24ae7389c5c65efe89374da4f5f014fb2273

wikimedia/oojs-ui,wikimedia/oojs-ui,wikimedia/oojs-ui,wikimedia/oojs-ui