1 @import "common_style.css";
3 background-color: #eff6fd;
15 padding: 2ex 6ex 2ex 10ex;
16 background-color: white;
17 background-image: url(img/pageborder.png);
18 background-position: 100% 0;
19 background-repeat: repeat-y;
21 /* Using width instead of max-width for IE */
44 background-color: #e0e0e0;