1<?php
2
3// style.ini values
4
5$lang['__link__']           = 'The general link color';
6$lang['__existing__']       = 'The color for links to existing pages';
7$lang['__missing__']        = 'The color for links to non-existing pages';
8$lang['__numbered_heading__'] = 'The color for numbered heading';
9$lang['__font_size__']      = 'The global font size (%, px, pt)';
10$lang['__line_height__']    = 'The global line height (x.x, %)';
11$lang['__body_width__']     = 'The width of the body (%, px, em, ...)';
12$lang['__sidebar_width__']  = 'The width of the sidebar, if any (%, px, em, ...)';
13