summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDave Davenport <qball@gmpclient.org>2019-09-30 10:17:48 +0200
committerDave Davenport <qball@gmpclient.org>2019-09-30 10:17:48 +0200
commit3def8a64182f74902d95f92f118187becd314698 (patch)
tree4b70c5a1d8d0dd28cf42de812154b8d10bf70a56
parent8d9e403659cfda0adc12f003a207be032972c68c (diff)
[CI] Fix tests.
-rw-r--r--doc/default_theme.rasi2
-rw-r--r--doc/old-theme-convert-output.rasi1
2 files changed, 2 insertions, 1 deletions
diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi
index 2e8698ca..65736b08 100644
--- a/doc/default_theme.rasi
+++ b/doc/default_theme.rasi
@@ -78,8 +78,8 @@ element-text {
}
element-icon {
background-color: rgba ( 0, 0, 0, 0 % );
+ size: 1.2000ch ;
text-color: inherit;
- size: 1.2ch;
}
window {
background-color: var(background);
diff --git a/doc/old-theme-convert-output.rasi b/doc/old-theme-convert-output.rasi
index 6edfa3a4..bb64476c 100644
--- a/doc/old-theme-convert-output.rasi
+++ b/doc/old-theme-convert-output.rasi
@@ -78,6 +78,7 @@ element-text {
}
element-icon {
background-color: rgba ( 0, 0, 0, 0 % );
+ size: 1.2000ch ;
text-color: inherit;
}
window {