Style update: better colors for the zebra table, hover and highlighting

Author: p01

src/resource-manager/resource_style.css

@@ -312,13 +312,14 @@ a.external:hover
   white-space:nowrap;
   font-weight:normal;
   min-width:100%;
-  display: inline-block;
+  display: block;
   font-size:11px;
   line-height:18px;
   vertical-align: middle;
 }
 
 
+
 .resource-tree-documents, .resource-tree-groups, .resource-tree-resources
 {
   padding:0;
@@ -327,25 +328,20 @@ a.external:hover
 /* zebra resources */
 .resource-tree-windows
 {
-  background-image: linear-gradient(0deg, rgba(0,0,0,.05) 50%, transparent 0%);
+  background-image: linear-gradient(0deg, rgba(0,0,0,.031) 50%, transparent 0%);
   background-size: 100% 36px;
   background-repeat:repeat;
 }
 
-h2.resource-highlight
-{
-  background-color:yellow;
-}
 .resource-tree li > h2:hover
 {
-  background-color:orange;
+  background-color: rgba(137, 173, 232, 0.196);
 }
 
-.wat:before
+.resource-tree li > h2.resource-highlight
 {
- margin-left:-18px
- content:url(../ui-images/error-console-warning.png);
- padding:1px;
+  color:#fff;
+  background-color:rgba(55, 115, 211, 0.702);
 }
 
 span.resource-tree-count

src/resource-manager/resource_templates.js

@@ -140,8 +140,7 @@ templates.resource_tree =
 							'('+resources.length+')',
 							'class','resource-tree-count'
 						],
-						'class','resource-tree-document'+(d.sameOrigin?'':' resource-different-origin'),
-						'title',JSON.stringify(d)
+						'class','resource-tree-document'+(d.sameOrigin?'':' resource-different-origin')
 					],
 					[
 						this.resource_groups(context, resources),
@@ -219,12 +218,9 @@ templates.resource_tree =
 				],
 				'handler','resource-detail',
 				'data-resource-id',''+r.id,
-				'data-tooltip',!r.url&&'js-script-select',
-				'data-tooltip-text',!r.url&&JSON.stringify(r),
 				'class','resource-tree-resource'
 					+(r.sameOrigin?'':' resource-different-origin')
 					+(context.selectedResourceID==r.id?' resource-highlight':'')
-					+(!r.url?' wat':'')
 			]
 		]);
 	}
@@ -292,7 +288,7 @@ templates.resource_detail =
 	{
 		var info =
 		{
-			'human_url':resource.human_url,
+			'human_url':resource.short_distinguisher,
 			'type':resource.type,
 			'mimeType':resource.data.mimeType,
 			'size':resource.size||resource.data.contentLength||resource.data.content.length,
@@ -328,9 +324,7 @@ templates.resource_detail =
 	text:function(resource)
 	{
 		return (
-		[
-			['pre',resource.data.content.stringData],
-			['ptr',new Option(JSON.stringify(resource)).innerHTML]
+		['pre',resource.data.content.stringData
 		]);
 	},