--- modules/system/system.module	2011-01-04 12:47:39.000000000 -0500
+++ modules/system/systemNew.module	2011-01-15 09:51:42.000000000 -0500
@@ -530,12 +530,16 @@ function _system_themes_access($theme) {
  * Implementation of hook_init().
  */
 function system_init() {
-  // Use the administrative theme if the user is looking at a page in the admin/* path.
-  if (arg(0) == 'admin' || (variable_get('node_admin_theme', '0') && arg(0) == 'node' && (arg(1) == 'add' || arg(2) == 'edit'))) {
+	
+  // Use the administrative theme if the user is looking at a page in the admin/* path, and they have permissions to that path.
+	$menu_item = menu_get_item($_GET['q']);
+  if ($menu_item['access'] && (arg(0) == 'admin' || (variable_get('node_admin_theme', '0') && arg(0) == 'node' && (arg(1) == 'add' || arg(2) == 'edit')))) {
     global $custom_theme;
     $custom_theme = variable_get('admin_theme', '0');
     drupal_add_css(drupal_get_path('module', 'system') .'/admin.css', 'module');
   }
+  
+  
 
   // Add the CSS for this module.
   drupal_add_css(drupal_get_path('module', 'system') .'/defaults.css', 'module');