From 9f19f2c38d73f75f96b65e1a43e44ec41821cacd Mon Sep 17 00:00:00 2001
From: j2blake <jeb228@cornell.edu>
Date: Tue, 10 Dec 2013 16:39:03 -0500
Subject: [PATCH 1/2] Add a refinement to the developer panel

---
 webapp/web/js/developer/developerPanel.js                     | 2 ++
 .../web/templates/freemarker/page/partials/developerPanel.ftl | 4 ++++
 2 files changed, 6 insertions(+)

diff --git a/webapp/web/js/developer/developerPanel.js b/webapp/web/js/developer/developerPanel.js
index f7d881709..201168ba9 100644
--- a/webapp/web/js/developer/developerPanel.js
+++ b/webapp/web/js/developer/developerPanel.js
@@ -40,6 +40,7 @@ function DeveloperPanel(developerAjaxUrl) {
 	
 	function updateDisabledFields() {
 		var developerEnabled = document.getElementById("developerEnabled").checked;
+		document.getElementById("developerPermitAnonymousControl").disabled = !developerEnabled;
 		document.getElementById("developerDefeatFreemarkerCache").disabled = !developerEnabled;
 		document.getElementById("developerInsertFreemarkerDelimiters").disabled = !developerEnabled;
 		document.getElementById("developerPageContentsLogCustomListView").disabled = !developerEnabled;
@@ -57,6 +58,7 @@ function DeveloperPanel(developerAjaxUrl) {
 	function collectFormData() {
 		var data = new Object();
 		getCheckbox("developerEnabled", data);
+		getCheckbox("developerPermitAnonymousControl", data);
 		getCheckbox("developerDefeatFreemarkerCache", data);
 		getCheckbox("developerInsertFreemarkerDelimiters", data);
 		getCheckbox("developerPageContentsLogCustomListView", data);
diff --git a/webapp/web/templates/freemarker/page/partials/developerPanel.ftl b/webapp/web/templates/freemarker/page/partials/developerPanel.ftl
index a9437a3d8..9b8b3ca3f 100644
--- a/webapp/web/templates/freemarker/page/partials/developerPanel.ftl
+++ b/webapp/web/templates/freemarker/page/partials/developerPanel.ftl
@@ -25,6 +25,10 @@
 					<@showCheckbox "developerEnabled" />
 					Enable developer mode
 				</label>
+				<label>
+					<@showCheckbox "developerPermitAnonymousControl" />
+					Allow anonymous user to see and modify developer settings
+				</label>
 			</div>
 			
 			<div class="devright">

From 0b03133a32ce2aade0426e1f69c2e2e2b4b2b89a Mon Sep 17 00:00:00 2001
From: tworrall <tlw72@cornell.edu>
Date: Wed, 18 Dec 2013 11:48:27 -0500
Subject: [PATCH 2/2] minor css change for the search page facet

---
 webapp/web/css/vitro.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/webapp/web/css/vitro.css b/webapp/web/css/vitro.css
index 464f0480a..b90e88002 100644
--- a/webapp/web/css/vitro.css
+++ b/webapp/web/css/vitro.css
@@ -120,11 +120,13 @@
     text-align: left;
 }
 .searchTOC ul li {
-    display: block;
     border-bottom: 1px solid #dde4e3;
+    display: block;
     font-size: 14px;
+    margin-left: 20px;
     padding-top: .5em;
     padding-bottom: .5em;
+    width: 150px;
 }
 .searchTOC ul li:hover {
     background-color:#f7f9f9;
@@ -134,7 +136,6 @@
 }
 .searchTOC ul a {
     display: inline;
-    padding-left: 25px;
 }
 
 .searchTOC ul span {