add short title to theses display

2017-07-01 22:44:00 +02:00
parent 4bc74c4849
commit 00e8f17727
1 changed files with 1 additions and 1 deletions
--- a/includes/elements.php
+++ b/includes/elements.php
@@ -164,7 +164,7 @@ function print_thesesbox($theses, $form=false, $list=null){
 	
 	for($q_id = 0; $q_id < count($theses); $q_id++){
 		echo "<div id='thesis$q_id' class='singlethesis'>";
-		echo "<h1>These ".($q_id+1)."</h1>
+		echo "<h1>".($q_id+1)."/".(count($theses))."  ".$theses[$q_id]['s']."</h2>

 		<div class='well well-large statement'>
 		<p style='margin-bottom: 0px;' class='lead'>";