ElKowar/dots-of-war
1
0
Fork 0
mirror of https://github.com/elkowar/dots-of-war.git synced 2024-12-25 05:42:22 +00:00
Code Issues 1 Projects 1 Releases Packages Wiki Activity

asdf

Browse source
This commit is contained in:
Leon Kowarschick 2020-06-08 19:31:03 +02:00
parent 5be97c546f
commit 411be1ae5a
2 changed files with 17 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
files/hackage_gruvbox.css
View file

@ -63,6 +63,14 @@
}
table.info,
#table-of-contents {
background-color: var(--bg1);
border: none;
box-shadow: 1px 1px 5px 0 rgba(0, 0, 0, 0.4);
padding: 1rem;
}
h1,
@ -124,13 +132,6 @@
}
}
table.info,
#table-of-contents {
background-color: var(--bg1);
border: none;
box-shadow: 1px 1px 5px 0 rgba(0, 0, 0, 0.4);
padding: 1rem;
}
summary {
color: var(--col_aqua);

9
files/hoogle_gruvbox.css
View file

@ -74,7 +74,11 @@
background-color: var(--bg0);
border: unset;
border-color: var(--bg3);
padding: 0.2rem;
padding: 0.2rem 1rem;;
transition: box-shadow 0.2s ease-in-out;
&[type="submit"]:hover {
box-shadow: 2px 2px 5px 0 rgba(0,0,0, 0.2);
}
}
#scope_chosen {
background-color: var(--bg0);
@ -117,6 +121,9 @@
}
.result {
a:hover {
background-color: inherit;
}
box-shadow: 1px 1px 5px 0 rgba(0, 0, 0, 0.3);
.from {
padding: 0.5rem 0.9rem;