<?php
$str = ' #nav i g a t i o n {
d i s p l a y: i n l i n e - t a b l e;
t e x t - a l i g n: c e n t e r;
b a c k g r o u n d: s i l v e r;
}#n a v i g a t i o n l i {
f l o a t: l e f t;
l i s t - s t y l e: n o n e;
p a d d i n g: 2 p x 1 0 p x 2 p x 1 0 p x;
}#n a v i g a t i o n a {
d i s p l a y: b l o c k;
t e x t - d e c o r a t i o n: n o n e;
c o l o r: g r e e n;
f o n t - we i g h t: b o l d;
p a d d i n g: 5 p x;
b o r d e r - r i g h t: 1 p x d a s h e d g r e e n;
}.n o B o r d e r {
d i s p l a y: b l o c k;
t e x t - d e c o r a t i o n: n o n e;
c o l o r: r e d;
f o n t - we i g h t: b o l d;
p a d d i n g: 5 p x;
b o r d e r: 0 p x;
}#n a v i g a t i o n a: h o v e r {
c o l o r: y e l l ow;
b a c k g r o u n d: b l a c k;
}';
echo str_replace(" ",'',$str);