1<?php 2 3// style.ini values 4 5$lang['__background_site__'] = 'Color for the very background (behind the content box)'; 6$lang['__link__'] = 'The general link color'; 7$lang['__existing__'] = 'The color for links to existing pages'; 8$lang['__missing__'] = 'The color for links to non-existing pages'; 9$lang['__site_width__'] = 'The width of the full site (can be any length unit: %, px, em, ...)'; 10$lang['__sidebar_width__'] = 'The width of the sidebar, if any (can be any length unit: %, px, em, ...)'; 11$lang['__toc_width__'] = 'The width of the Table of Contents block (can be any length unit: %, px, em, ...)'; 12$lang['__tablet_width__'] = 'Below screensizes of this width, the site switches to tablet mode'; 13$lang['__phone_width__'] = 'Below screensizes of this width, the site switches to phone mode'; 14$lang['__theme_color__'] = 'Theme color of the web app'; 15$lang['__focus_color__'] = 'Color of the keyboard-focus'; 16 17$lang['__headlines__'] = 'Color of headlines'; 18$lang['__blockquote__'] = 'Color of blockquote marker'; 19$lang['__separator__'] = 'Color of line separators'; 20 21$lang['__default_fonts__'] = 'Default fonts list (used for content and navigation)'; 22$lang['__default_font_size__'] = 'Default font size'; 23$lang['__default_letter_spacing__'] = 'Default letter-spacing'; 24 25$lang['__alt_fonts__'] = 'Alternative fonts (used e.g. for headlines)'; 26$lang['__mono_fonts__'] = 'Monospaced fonts (e.g. for code)'; 27$lang['__math_fonts__'] = 'Math fonts (e.g. for formulas, etc.)'; 28$lang['__print_default_fonts__'] = 'Default fonts for printing'; 29$lang['__print_title_fonts__'] = 'Title fonts for printing'; 30$lang['__print_title_color__'] = 'Title color for printing'; 31