Browse Source

updates for use with styling plugin

master
Anika Henke 9 years ago
parent
commit
d5181379cb
  1. 6
      css/content.css
  2. 4
      lang/en/lang.php
  3. 1
      lang/en/style.txt

6
css/content.css

@ -142,6 +142,12 @@
padding: 0.125em 0.4em; padding: 0.125em 0.4em;
} }
/*____________ styling plugin ____________*/
#plugin__styling.ispopup {
padding: 1em;
}
/*____________ JS popup ____________*/ /*____________ JS popup ____________*/

4
lang/en/lang.php

@ -7,3 +7,7 @@
$lang['discussion'] = 'Discussion'; $lang['discussion'] = 'Discussion';
$lang['back_to_article'] = 'Back to article'; $lang['back_to_article'] = 'Back to article';
$lang['userpage'] = 'User page'; $lang['userpage'] = 'User page';
$lang['__existing__'] = 'The color for links to existing pages';
$lang['__missing__'] = 'The color for links to non-existing pages';
$lang['__site_width__'] = 'The width of the full site (can be any length unit: %, px, em, ...)';
$lang['__sidebar_width__'] = 'The width of the sidebar, if any (can be any length unit: %, px, em, ...)';

1
lang/en/style.txt

@ -0,0 +1 @@
If you'd like to change the favicon, simply use the Media Manager to upload a ''favicon.ico'' into the ''wiki'' or the root namespace and it will automatically be used. If you use a closed wiki it is recommended to make the ''wiki'' (or root) namespace world readable in the ACL settings or your favicon will not be shown to logged-out users.
Loading…
Cancel
Save