diff options
author | Dave Davenport <qball@gmpclient.org> | 2017-10-25 18:44:04 +0200 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2017-10-25 18:44:04 +0200 |
commit | 96735fc342142763e67994f1bda9bd2cfd1dc293 (patch) | |
tree | 4b62de2f8de286b0061d057cecc809f8958cee52 /doc | |
parent | f9d1562513312aa5bcb920410645eedb543aef68 (diff) |
Fix test for default theme.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/default_theme.rasi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi index 67a606cb..7b33c40b 100644 --- a/doc/default_theme.rasi +++ b/doc/default_theme.rasi @@ -38,7 +38,7 @@ padding: 0; } #message { - border: 1px dash 0px 0px ; + border: 2px dash 0px 0px ; border-color: @separatorcolor; padding: 1px ; } |