diff --git a/css/content.css b/css/content.css index be4401b..edd8fab 100644 --- a/css/content.css +++ b/css/content.css @@ -142,6 +142,12 @@ padding: 0.125em 0.4em; } +/*____________ styling plugin ____________*/ + +#plugin__styling.ispopup { + padding: 1em; +} + /*____________ JS popup ____________*/ diff --git a/lang/en/lang.php b/lang/en/lang.php index b6b9237..7097f18 100644 --- a/lang/en/lang.php +++ b/lang/en/lang.php @@ -7,3 +7,7 @@ $lang['discussion'] = 'Discussion'; $lang['back_to_article'] = 'Back to article'; $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, ...)'; diff --git a/lang/en/style.txt b/lang/en/style.txt new file mode 100644 index 0000000..99f0a95 --- /dev/null +++ b/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.