a.menu {
							font-family:		sans-serif;
							white-space:		nowrap;
						}
						a:link.menu {
							color: 						#FFFFFF;
							text-decoration:	none;
						}
						a:visited.menu {
							color: 						#FFE0E0;
							text-decoration:	none;
						}
						a:hover.menu {
	/* 					color: 						#80FF80; */
							font-size:				120%;
							font-weight:			700;
						}
						a:active.menu {
							color: 						#80FF80;
							font-size:				150%;
						}

						dt {
							font-weight: 700;
						}

						div {
							margin-top:				1em;
							margin-bottom:		1em;
							text-align:				justify;
						}
						
						div.caption {
							text-align:				center;
							font-weight:			700;
							font-size:				130%;
						}

						div.miniCaption {
							font-weight:			700;
							font-size:				120%;
						}

						div.nomargin {
							margin-top:				0em;
							margin-bottom:		0em;
						}

						ul,ol,dl {
							margin-top:				0em;
							margin-bottom:		0em;
						}


						
									a:hover.menu#0 {
										color: #FF0000;
									}
								
									a:hover.menu#1 {
										color: #FF5700;
									}
								
									a:hover.menu#2 {
										color: #FFAF00;
									}
								
									a:hover.menu#3 {
										color: #F8FF00;
									}
								
									a:hover.menu#4 {
										color: #A0FF00;
									}
								
									a:hover.menu#5 {
										color: #49FF00;
									}
								
									a:hover.menu#6 {
										color: #00FF0F;
									}
								
									a:hover.menu#7 {
										color: #00FF66;
									}
								
									a:hover.menu#8 {
										color: #00FFBD;
									}
								
									a:hover.menu#9 {
										color: #00E9FF;
									}
								
									a:hover.menu#10 {
										color: #0092FF;
									}
								
									a:hover.menu#11 {
										color: #003AFF;
									}
								
									a:hover.menu#12 {
										color: #1D00FF;
									}
								
									a:hover.menu#13 {
										color: #7500FF;
									}
								
									a:hover.menu#14 {
										color: #CC00FF;
									}
								
									a:hover.menu#15 {
										color: #FF00DB;
									}
								
									a:hover.menu#16 {
										color: #FF0083;
									}
								
									a:hover.menu#17 {
										color: #FF002C;
									}
								
									a:hover.menu#18 {
										color: #FF2C00;
									}
								
									a:hover.menu#19 {
										color: #FF8300;
									}
								
									a:hover.menu#20 {
										color: #FFDB00;
									}
								
									a:hover.menu#21 {
										color: #CCFF00;
									}
								
									a:hover.menu#22 {
										color: #75FF00;
									}
								
									a:hover.menu#23 {
										color: #1DFF00;
									}
								
									a:hover.menu#24 {
										color: #00FF3A;
									}
								
									a:hover.menu#25 {
										color: #00FF92;
									}
								
									a:hover.menu#26 {
										color: #00FFE9;
									}
								
									a:hover.menu#27 {
										color: #00BDFF;
									}
								
									a:hover.menu#28 {
										color: #0066FF;
									}
								
									a:hover.menu#29 {
										color: #000FFF;
									}