	/* define non-expanded and expanded header styles for use on-screen */
	/* use grey background when expanded */
	@media screen{
		.trigger{
			cursor:pointer;
		}
		.trigger:hover{
			cursor:pointer;
			background:#c2c3c2;		/* was: #ddf */
		}		
		.expanded{
			background:#eff2ef;		/* was: #ccf */
			cursor:pointer;
		}
		.expanded:hover{
			background:#9c9e9c;		/* was: #eef */
			cursor:pointer;
		}
	}
	
	/* define non-expanded and expanded header styles for use when printing */
	/* use no background when expanded */
	@media print{
		.trigger{
			cursor:pointer;
		}
		.trigger:hover{
			cursor:pointer;
			background:#ddf;
		}		
		.expanded{
			cursor:pointer;
		}
		.expanded:hover{
			background:#eef;
			cursor:pointer;
		}
	}

		.show{
     position:static;
     	/*  display: table; */    	/* 2021-04-18: has been commented out as a test because it prevents right-aligning images */ 
		}
		.hide{
			position:absolute;
			left:-999em;
			height:1px;
			width:100px;
			overflow:hidden;
		}
