1
1
style.code=white-space:pre; background-color:\#EEEEEE; font-family: Courier New,monospace;
2
2
style.big=font-size:14pt; font-weight:bold;
5
5
style.ticker=font-size:20pt; font-weight:bold; color:\#A0AAAE
6
6
style.bold=font-weight:bold
7
7
style.probDesc=font-size:12pt; font-family:sans-serif;