diff options
Diffstat (limited to 'lib/plugins/plugin')
| -rw-r--r-- | lib/plugins/plugin/lang/ko/admin_plugin.txt | 2 | ||||
| -rw-r--r-- | lib/plugins/plugin/lang/ru/admin_plugin.txt | 2 | ||||
| -rw-r--r-- | lib/plugins/plugin/style.css | 6 |
3 files changed, 5 insertions, 5 deletions
diff --git a/lib/plugins/plugin/lang/ko/admin_plugin.txt b/lib/plugins/plugin/lang/ko/admin_plugin.txt index ed5f3c5aa..22ce0e6e6 100644 --- a/lib/plugins/plugin/lang/ko/admin_plugin.txt +++ b/lib/plugins/plugin/lang/ko/admin_plugin.txt @@ -1,5 +1,5 @@ ====== 플러그인 관리 ====== -이 페이지에서 Dokuwiki[[doku>plugins|plugins]]에 관련된 모든 관리 작업을 합니다. 플러그인을 다운로드하거나 설치하기 위해서 웹서버가 플러그인 디렉토리에 대해 쓰기 권한을 가지고 있어야 합니다. +이 페이지에서 Dokuwiki[[doku>plugins|plugins]]에 관련된 모든 관리 작업을 합니다. 플러그인을 다운로드하거나 설치하기 위해서 웹서버가 플러그인 디렉토리에 대해 쓰기 권한을 가지고 있어야 합니다. diff --git a/lib/plugins/plugin/lang/ru/admin_plugin.txt b/lib/plugins/plugin/lang/ru/admin_plugin.txt index 70863190f..2960e434c 100644 --- a/lib/plugins/plugin/lang/ru/admin_plugin.txt +++ b/lib/plugins/plugin/lang/ru/admin_plugin.txt @@ -1,5 +1,5 @@ ====== Управление плагинами ====== -Здесь вы можете делать все, что связано с [[doku>plugins|плагинами]] DokuWiki. Для того, чтобы скачивать и устанавливать плагины, директория плагинов должна быть доступна для записи веб-сервером. +Здесь вы можете делать все, что связано с [[doku>plugins|плагинами]] DokuWiki. Для того, чтобы скачивать и устанавливать плагины, директория плагинов должна быть доступна для записи веб-сервером. diff --git a/lib/plugins/plugin/style.css b/lib/plugins/plugin/style.css index 6abb99a7c..b37443e8d 100644 --- a/lib/plugins/plugin/style.css +++ b/lib/plugins/plugin/style.css @@ -42,9 +42,9 @@ #plugin__manager .plugins fieldset.buttons .button { float: left; } #plugin__manager .pm_info h3 { margin-left: 0; } -#plugin__manager .pm_info dl { margin: 1em 0; padding: 0;} -#plugin__manager .pm_info dt { width: 6em; float: left; clear: left; margin:0; padding: 0;} -#plugin__manager .pm_info dd { margin:0 0 0 7em; padding: 0; background: none;} +#plugin__manager .pm_info dl { margin: 1em 0; padding: 0; } +#plugin__manager .pm_info dt { width: 6em; float: left; clear: left; margin: 0; padding: 0; } +#plugin__manager .pm_info dd { margin: 0 0 0 7em; padding: 0; background: none; } #plugin__manager .plugins .enable { float: left; width: auto; margin-right: 0.5em;} |