/* 
WOO CUSTOM STYLESHEET
---------------------

Instructions:

Add your custom styles here instead of style.css so it 
is easier to update the theme. Simply copy an existing 
style from style.css to this file, and modify it to 
your liking.

*/
/* for nice code */
code {  
font-family:"bitstream vera sans mono",monaco,"lucida console","courier new",courier,serif;
font-size:12px;
font-size-adjust:none;
font-stretch:normal;
font-style:normal;
font-variant:normal;
font-weight:normal;
line-height:normal;
margin:0.9em 0pt;
padding:8px;
}       

pre{    
-x-system-font:none;
background:#EEEEEE none repeat scroll 0% 0%;
border:1px solid #CCCCCC;
color:#111111;
font-family:"bitstream vera sans mono",monaco,"lucida console","courier new",courier,serif;
font-size:12px;
font-size-adjust:none;
font-stretch:normal;
font-style:normal;
font-variant:normal;    
font-weight:normal;
line-height:normal;
margin:0.9em 0pt;
padding:8px;
}