Turn pagination into button group

Change-Id: I73e7b1355baf7e6b7da63e917eceb8346e405b0f
diff --git a/dev/demo/all.html b/dev/demo/all.html
index 0d0fee3..f103cda 100644
--- a/dev/demo/all.html
+++ b/dev/demo/all.html
@@ -92,7 +92,7 @@
 
     <main>
       <div id="resultinfo" class="found">
-	<div id="pagination">
+	<div id="pagination" class="button-group button-panel">
 	  <a rel="prev"><span><span>&lt;</span></span></a>
 	  <a rel="self"><span>1</span></a>
 	  <a href="#2" tabindex="4"><span>2</span></a>