Minor UI improvements.

services/web/app/views/project/editor/pdf.jade

@@ -123,6 +123,7 @@ div.full-size.pdf(ng-controller="PdfController")
 							a.card-hint-feedback-positive(
 								ng-click="feedbackSent = true;"
 							) #{translate("answer_yes")}
+							span  / 
 							a.card-hint-feedback-negative(
 								ng-click="feedbackSent = true;"
 							) #{translate("answer_no")}

services/web/public/stylesheets/app/editor/pdf.less

@@ -214,11 +214,12 @@
 	&-feedback-label {
 		color: @gray-dark;
 		font-size: 0.9rem;
-		margin-bottom: 30px;
+		margin-bottom: 20px;
 	}
 
 	&-feedback-label {
 		font-size: inherit;
+		margin-right: 0.5em;
 		margin-bottom: 0;
 		font-weight: normal;
 	}
@@ -242,13 +243,10 @@
 			color: @alert-info-text;
 		}
 	}
-	
+
 	&-feedback {
+		color: @gray-dark;
 		float: right;
-
-		a {
-			margin-left: 0.5em;
-		}
 	}
 
 	& + p {