body {  background-image: url(../img/menuline.gif); background-repeat: repeat-y}

.p13p120 {  font-size: 13px; line-height: 120%}

.box_a {  padding-top: 5px; padding-right: 5px; padding-bottom: 5px; padding-left: 5px}

.box_b { padding-top: 10px; padding-right: 10px; padding-bottom: 10px; padding-left: 10px}

.p15 {  font-size: 15px; line-height: 120%}

.box5p13_120 {  font-size: 13px; line-height: 120%; padding-top: 5px; padding-right: 5px; padding-bottom: 5px; padding-left: 5px}

.box1 {  padding-top: 1px; padding-right: 1px; padding-bottom: 1px; padding-left: 1px}

.mar5p15_120 {  font-size: 15px; line-height: 120%; margin-top: 5px; margin-right: 5px; margin-bottom: 5px; margin-left: 5px}

.mar5 {  margin-top: 5px; margin-bottom: 10px}