diff options
| -rw-r--r-- | lib/plugins/plugin/style.css | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/lib/plugins/plugin/style.css b/lib/plugins/plugin/style.css index 071f5c35a..f9d496f2e 100644 --- a/lib/plugins/plugin/style.css +++ b/lib/plugins/plugin/style.css @@ -16,24 +16,24 @@ #plugin_manager .button { margin: 0 0.3em 2px 0;} #plugin_manager p, #plugin_manager label { text-align: left;} #plugin_manager .hidden { display: none;} -#plugin_manager .new { background: #dee7ec;} -#plugin_manager input[disabled] { color: #ccc; border-color: #ccc;} /* IE won't understand but doesn't require it */ +#plugin_manager .new { background: __medium__;} +#plugin_manager input[disabled] { color: __mediumgray__; border-color: __mediumgray__;} /* IE won't understand but doesn't require it */ #plugin_manager .pm_menu, #plugin_manager .pm_info { margin-left: 0; text-align: left; } #plugin_manager .pm_menu { float: left; width: 48%; } #plugin_manager .pm_info { float: right; width: 50%; } -#plugin_manager .common { border-bottom: 1px solid #8cacbb; margin-top: 1em;} -#plugin_manager .common form { border: 1px solid #8cacbb; border-bottom: 0;} +#plugin_manager .common { border-bottom: 1px solid __dark__; margin-top: 1em;} +#plugin_manager .common form { border: 1px solid __dark__; border-bottom: 0;} #plugin_manager .common fieldset { margin: 0; padding: 0;} -#plugin_manager .common .legend { background: #dee7ec; margin-bottom: 0.3em; padding-left: 0.5em;} +#plugin_manager .common .legend { background: __medium__; margin-bottom: 0.3em; padding-left: 0.5em;} #plugin_manager .common label { padding: 0 0 0.5em 0.5em; } #plugin_manager .common input { width: auto; margin: 0 1em;} #plugin_manager .common .button { float: right; width: 6em; } -#plugin_manager .common p { border-bottom: 1px solid #8cacbb; padding: 0 0 0.5em 0.5em; margin-bottom: 0;} +#plugin_manager .common p { border-bottom: 1px solid __dark__; padding: 0 0 0.5em 0.5em; margin-bottom: 0;} -#plugin_manager .plugins { border-bottom: 1px solid #8cacbb;} -#plugin_manager .plugins form { border: 1px solid #8cacbb; border-bottom: 0;} +#plugin_manager .plugins { border-bottom: 1px solid __dark__;} +#plugin_manager .plugins form { border: 1px solid __dark__; border-bottom: 0;} #plugin_manager .plugins fieldset { text-align: right; } #plugin_manager .plugins .legend { float: left; padding: 5px 0 0 5px;} #plugin_manager .plugins .button { width: 5em; font-size: 95%;} |