Websocket refactoring (#190)

Websocket refactoring
2026-08-24 06:43:04 +00:00 · 2024-02-24 19:21:47 +01:00
parent d91755dff5
commit d533557324
585 changed files with 114831 additions and 2198 deletions
@@ -0,0 +1,22 @@
+// Pagination
+
+@mixin pagination-size($padding-y, $padding-x, $font-size, $line-height, $border-radius) {
+  .page-link {
+    padding: $padding-y $padding-x;
+    @include font-size($font-size);
+    line-height: $line-height;
+  }
+
+  .page-item {
+    &:first-child {
+      .page-link {
+        @include border-left-radius($border-radius);
+      }
+    }
+    &:last-child {
+      .page-link {
+        @include border-right-radius($border-radius);
+      }
+    }
+  }
+}