diff options
| author | Andreas Gohr <gohr@cosmocode.de> | 2005-11-03 12:47:01 +0100 |
|---|---|---|
| committer | Andreas Gohr <gohr@cosmocode.de> | 2005-11-03 12:47:01 +0100 |
| commit | 5646f69041af08c6131237b27bd8adedd4a717e7 (patch) | |
| tree | 0f2f7edef7cfb563bdc4e9b893ca5e816036f970 /lib/exe/css.php | |
| parent | 0dc92c6f78995331021c3b8c6a889913cf3f7de3 (diff) | |
| download | rpg-5646f69041af08c6131237b27bd8adedd4a717e7.tar.gz rpg-5646f69041af08c6131237b27bd8adedd4a717e7.tar.bz2 | |
a small CSS hack to make the buttons work in IE5.2 Mac
darcs-hash:20051103114701-6e07b-cb87eca037066a21f59da7f14e65986873607e29.gz
Diffstat (limited to 'lib/exe/css.php')
| -rw-r--r-- | lib/exe/css.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/exe/css.php b/lib/exe/css.php index a5b3eec66..2fb30999a 100644 --- a/lib/exe/css.php +++ b/lib/exe/css.php @@ -206,11 +206,11 @@ function css_pluginstyles($mode='screen'){ function css_compress($css){ // strip whitespaces $css = preg_replace('![\r\n\t ]+!',' ',$css); - $css = preg_replace('/ ?([:;,{}]) ?/','\\1',$css); + $css = preg_replace('/ ?([:;,{}\/]) ?/','\\1',$css); // strip comments (ungreedy) // We keep very small comments to maintain typical browser hacks - $css = preg_replace('!(/\*)(.{4,})(\*/)!U','',$css); + $css = preg_replace('#(/\*)((?!\*/).){4,}(\*/)#Us','',$css); // shorten colors $css = preg_replace("/#([0-9a-fA-F]{1})\\1([0-9a-fA-F]{1})\\2([0-9a-fA-F]{1})\\3/", "#\\1\\2\\3",$css); |