Margin and padding adjustments.

2026-06-03 14:19:01 +02:00 · 2018-05-30 17:34:46 +01:00
parent 7cb4280a4d
commit 6e7e76a3ce
2 changed files with 2 additions and 1 deletions
@@ -19,7 +19,7 @@
 					}"
 				)
 				|  in <strong>{{history.diff.pathname}}</strong>
-			.btn.btn-info.btn-xs(
+			.history-toolbar-btn(
 				ng-click="toggleHistoryViewMode();"
 			) 
 				i.fa
@@ -88,6 +88,7 @@
 		.loading {
 			text-align: center;
 			font-family: @font-family-serif;
+			margin-top: (@line-height-computed / 2);
 		}

 		ul {