diff options
author | Anika Henke <anika@selfthinker.org> | 2013-07-31 11:56:08 +0100 |
---|---|---|
committer | Anika Henke <anika@selfthinker.org> | 2013-07-31 11:56:08 +0100 |
commit | e8e5221c8fef184d755602564343787c9e3196d9 (patch) | |
tree | 1af666ebc599b126aa00451865dcf12794fb700d /lib/tpl/dokuwiki/style.ini | |
parent | b0a0b422439fd5c86ced0c8a7f89bb2b93a11564 (diff) | |
download | rpg-e8e5221c8fef184d755602564343787c9e3196d9.tar.gz rpg-e8e5221c8fef184d755602564343787c9e3196d9.tar.bz2 |
switched to LESS variables in rest of template's css files
Diffstat (limited to 'lib/tpl/dokuwiki/style.ini')
-rw-r--r-- | lib/tpl/dokuwiki/style.ini | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/lib/tpl/dokuwiki/style.ini b/lib/tpl/dokuwiki/style.ini index 24faffdb3..897b6e6da 100644 --- a/lib/tpl/dokuwiki/style.ini +++ b/lib/tpl/dokuwiki/style.ini @@ -54,32 +54,32 @@ css/print.css = print ;------ guaranteed dokuwiki color placeholders that every plugin can use ; main text and background colors -__text__ = "#333" -__background__ = "#fff" +__text__ = "#333" ; @ini_text +__background__ = "#fff" ; @ini_background ; alternative text and background colors -__text_alt__ = "#999" -__background_alt__ = "#eee" +__text_alt__ = "#999" ; @ini_text_alt +__background_alt__ = "#eee" ; @ini_background_alt ; neutral text and background colors -__text_neu__ = "#666" -__background_neu__ = "#ddd" +__text_neu__ = "#666" ; @ini_text_neu +__background_neu__ = "#ddd" ; @ini_background_neu ; border color -__border__ = "#ccc" +__border__ = "#ccc" ; @ini_border ; highlighted text (e.g. search snippets) -__highlight__ = "#ff9" +__highlight__ = "#ff9" ; @ini_highlight ;-------------------------------------------------------------------------- -__background_site__ = "#fbfaf9" +__background_site__ = "#fbfaf9" ; @ini_background_site ; these are used for links -__link__ = "#2b73b7" -__existing__ = "#080" -__missing__ = "#d30" +__link__ = "#2b73b7" ; @ini_link +__existing__ = "#080" ; @ini_existing +__missing__ = "#d30" ; @ini_missing ; site and sidebar widths -__site_width__ = "75em" -__sidebar_width__ = "16em" +__site_width__ = "75em" ; @ini_site_width +__sidebar_width__ = "16em" ; @ini_sidebar_width ; cut off points for mobile devices -__tablet_width__ = "800px" -__phone_width__ = "480px" +__tablet_width__ = "800px" ; @ini_tablet_width +__phone_width__ = "480px" ; @ini_phone_width |