From 28a0a7110b413c46070099ee86e86867527b1b1d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jes=C3=BAs=20Espino?= <jespinog@gmail.com>
Date: Wed, 14 Oct 2020 12:41:55 +0200
Subject: [PATCH] Keeping old css for buttons

---
 src/static/main.css | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/src/static/main.css b/src/static/main.css
index a48605f67..512da8390 100644
--- a/src/static/main.css
+++ b/src/static/main.css
@@ -254,6 +254,23 @@ hr {
 	flex: 1;
 }
 
+.octo-clickable,
+.octo-button {
+	text-align: center;
+	border-radius: 5px;
+	padding: 0 5px;
+	min-width: 20px;
+	cursor: pointer;
+	overflow: hidden;
+
+	transition: background 100ms ease-out 0s;
+}
+
+.octo-clickable,
+.octo-button:hover {
+	background-color: #eeeeee;
+}
+
 .filled {
 	color: #ffffff;
 	background-color: #50aadd;