diff options
author | Marvin W <git@larma.de> | 2017-08-29 21:55:15 +0200 |
---|---|---|
committer | Marvin W <git@larma.de> | 2017-08-29 22:09:13 +0200 |
commit | b4b115df48cabd796f0499def22505cb18223787 (patch) | |
tree | aca78f12b280b3294ee6a427604a2334b5578da2 /main/data/pre_theme.css | |
parent | b428c3a627e7de45b7a9cde85893dcca06926561 (diff) | |
download | dino-b4b115df48cabd796f0499def22505cb18223787.tar.gz dino-b4b115df48cabd796f0499def22505cb18223787.zip |
main: extend theming capabilities
Diffstat (limited to 'main/data/pre_theme.css')
-rw-r--r-- | main/data/pre_theme.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/main/data/pre_theme.css b/main/data/pre_theme.css new file mode 100644 index 00000000..392e603f --- /dev/null +++ b/main/data/pre_theme.css @@ -0,0 +1,10 @@ +/** + * This theme file is applied before the operating system theme and any user configuration. + * It provides sane defaults for things that are very Dino-specific. + */ + +window.dino-main headerbar.dino-left label.title { + opacity: 0; + font-size: 0; + color: transparent; +}
\ No newline at end of file |