<?php

// style.ini values

$lang['__link__']           = 'The general link color';
$lang['__existing__']       = 'The color for links to existing pages';
$lang['__missing__']        = 'The color for links to non-existing pages';
$lang['__numbered_heading__'] = 'The color for numbered heading';
$lang['__font_size__']      = 'The global font size (%, px, pt)';
$lang['__line_height__']    = 'The global line height (x.x, %)';
$lang['__body_width__']     = 'The width of the body (%, px, em, ...)';
$lang['__sidebar_width__']  = 'The width of the sidebar, if any (%, px, em, ...)';
