diff --git a/wp-admin/css/theme-editor.css b/wp-admin/css/theme-editor.css new file mode 100644 index 0000000000..e4dccdf17d --- /dev/null +++ b/wp-admin/css/theme-editor.css @@ -0,0 +1,45 @@ +#template textarea { + font: small 'Courier New', Courier, monospace; + width: 97%; +} + +#templateside { + float: right; + width: 200px; + overflow: hidden; + position: absolute; + right: 15%; + top: 250px; +} + +#templateside h3, #postcustom p.submit { + margin: 0; +} + +#templateside ol, #templateside ul { + list-style: none; + margin: .5em; + padding: 0; +} + +#templateside ol li, #templateside ul li { + margin: 1px 0px; +} + +#themeselector { + padding-right: 5px; + float: right; + position: relative; + bottom: 25px; +} + +.nonessential { + font-size: small; + color: #999999; +} + +.highlight { + background-color: #E4F2FD; + padding: 1px; + color: #d54e21; +} \ No newline at end of file diff --git a/wp-admin/theme-editor.php b/wp-admin/theme-editor.php index 745882c2bc..43d18ce76b 100644 --- a/wp-admin/theme-editor.php +++ b/wp-admin/theme-editor.php @@ -5,6 +5,7 @@ $title = __("Edit Themes"); $parent_file = 'themes.php'; wp_reset_vars(array('action', 'redirect', 'profile', 'error', 'warning', 'a', 'file', 'theme')); +wp_admin_css( 'css/theme-editor' ); $themes = get_themes(); @@ -78,42 +79,64 @@ default: ?>
%s
'), $file_show) . '';
- } else {
- echo '%s
'), $file_show) . '