Generate random seed when ?sort=random param is specified

sist2-vue/src/components/NavBar.vue

@@ -60,7 +60,6 @@ export default {
   color: #222 !important;
   font-size: 1.75rem;
   padding: 0;
-  font-family: Hack;
 }
 
 .navbar-brand:hover {

sist2-vue/src/components/SortSelect.vue

@@ -42,6 +42,8 @@
 </template>
 
 <script>
+import {randomSeed} from "@/util";
+
 export default {
   name: "SortSelect",
   computed: {
@@ -52,7 +54,7 @@ export default {
   methods: {
     onSelect(sortMode) {
       if (sortMode === "random") {
-        this.$store.commit("setSeed", Math.round(Math.random() * 100000));
+        this.$store.commit("setSeed", randomSeed());
       }
       this.$store.commit("setSortMode", sortMode);
     }

sist2-vue/src/plugins/bootstrap-vue.js

@@ -2,6 +2,6 @@ import Vue from "vue"
 
 import BootstrapVue from "bootstrap-vue"
 import "bootstrap/dist/css/bootstrap.min.css"
-import "bootstrap-vue/dist/bootstrap-vue.css"
+import "bootstrap-vue/dist/bootstrap-vue.min.css"
 
 Vue.use(BootstrapVue)

sist2-vue/src/store/index.ts

@@ -2,7 +2,7 @@ import Vue from "vue"
 import Vuex from "vuex"
 import VueRouter, {Route} from "vue-router";
 import {EsHit, EsResult, EsTag, Index, Tag} from "@/Sist2Api";
-import {deserializeMimes, serializeMimes} from "@/util";
+import {deserializeMimes, randomSeed, serializeMimes} from "@/util";
 
 const CONF_VERSION = 2;
 
@@ -241,6 +241,9 @@ export default new Vuex.Store({
 
             if (route.query.sort) {
                 commit("setSortMode", route.query.sort);
+                if (route.query.sort === "random" && route.query.seed === undefined) {
+                    route.query.seed = randomSeed().toString();
+                }
                 commit("setSeed", Number(route.query.seed));
             }
         },

sist2-vue/src/util.ts

@@ -162,4 +162,8 @@ export function decompressMime(mime: string): string {
         .replace("F", "font/")
         .replace(",", "+")
         .replace("X", "x-")
+}
+
+export function randomSeed(): number {
+    return Math.round(Math.random() * 100000);
 }