From e9b88a17c4a7e99ec52af592f03f9133ade996f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jaime=20Pe=CC=81rez=20Crespo?= <jaime.perez@uninett.no>
Date: Tue, 30 Jul 2019 10:45:51 +0200
Subject: [PATCH] Minor tweaks needed in the CSS.
---
src/css/default.scss | 21 +++++++++++++++++++--
1 file changed, 19 insertions(+), 2 deletions(-)
diff --git a/src/css/default.scss b/src/css/default.scss
index 41f8f323b..4dd8c7dad 100644
--- a/src/css/default.scss
+++ b/src/css/default.scss
@@ -53,6 +53,10 @@ body {
vertical-align: middle;
}
+i {
+ font-style: italic;
+}
+
h1 {
margin: 1em 0;
font-size: 2em;
@@ -132,8 +136,13 @@ pre, code, kbd, samp, tt {
margin-right: 4px;
}
-.pure-button-red,
-a.pure-button-red {
+.pure-button {
+ &:hover {
+ padding: .5em 1em;
+ }
+}
+
+.pure-button-red {
background-color: rgb(219, 1, 0);
color: #fff;
&:hover, &:focus {
@@ -186,6 +195,10 @@ a.pure-button-red {
border: 1px solid #E6E6E6;
}
+.pure-button-group.two-elements form {
+ display: inline;
+}
+
.pure-button-group.two-elements .pure-button:first-child {
border-right: none;
}
@@ -860,3 +873,7 @@ div.preferredidp {
}
}
}
+
+.hidden {
+ display: none;
+}
--
GitLab