ddd

Philip Guo · Philip Guo · commit e20fe3cc96ca · 2013-07-06T11:36:33.000-04:00
diff --git a/v3/css/pytutor.css b/v3/css/pytutor.css
@@ -711,13 +711,13 @@ div.ExecutionVisualizer .highlight-legend {
 
 /* resizing sliders from David Pritchard */
 .ui-resizable-e {
-  background-color: #cccccc;
+  background-color: #dddddd;
   width: 1px;
   border: 3px solid white;
 }
 
 .ui-resizable-e:hover {
-  border-color: #cccccc;
+  border-color: #dddddd;
 }
 
 

Original file line number	Diff line number	Diff line change
`@@ -711,13 +711,13 @@ div.ExecutionVisualizer .highlight-legend {`
`711`	`711`
`712`	`712`	`/* resizing sliders from David Pritchard */`
`713`	`713`	`.ui-resizable-e {`
`714`		`- background-color: #cccccc;`
	`714`	`+ background-color: #dddddd;`
`715`	`715`	`width: 1px;`
`716`	`716`	`border: 3px solid white;`
`717`	`717`	`}`
`718`	`718`
`719`	`719`	`.ui-resizable-e:hover {`
`720`		`- border-color: #cccccc;`
	`720`	`+ border-color: #dddddd;`
`721`	`721`	`}`
`722`	`722`
`723`	`723`