Make result buttons a button group and adopt styles
Change-Id: I703de5fcb5f7f19e84278a719a64c19c3bc016cc
diff --git a/dev/scss/main/main.scss b/dev/scss/main/main.scss
index 3478a77..40ef483 100644
--- a/dev/scss/main/main.scss
+++ b/dev/scss/main/main.scss
@@ -1,16 +1,17 @@
-@import "highlight"; // JSON highlighting
-@import "kwic"; // Kwic view information
-@import "logos"; // Logo images
-@import "matchinfo"; // Match table
-@import "tree"; // Tree view
-@import "pagination"; // Pagination
-@import "query"; // View query
-@import "resultinfo"; // Information on results
-@import "tutorial"; // Embedded and non-embedded tutorial
-@import "koralquery"; // KoralQuery
-@import "tagger"; // Tagger
-@import "alertify";
-@import "intro"; // Intro page
+@import "highlight"; // JSON highlighting
+@import "kwic"; // Kwic view information
+@import "logos"; // Logo images
+@import "matchinfo"; // Match table
+@import "tree"; // Tree view
+@import "pagination"; // Pagination
+@import "query"; // View query
+@import "resultinfo"; // Information on results
+@import "tutorial"; // Embedded and non-embedded tutorial
+@import "koralquery"; // KoralQuery
+@import "tagger"; // Tagger
+@import "alertify"; // Styling alerts
+@import "intro"; // Intro page
+@import "buttongroup"; // Button groups
main {
margin: {