/* body {
	padding-top: 120px !important;
	margin: 0;
} */

.fixed-top2 {
  position: fixed;
  top: 40px;
  right: 1rem;
  left: 0.95rem;
  z-index: 500;
  border-bottom: 1px solid gray;
  padding-top: 1rem;
  background-color: white;
}

.pageHeader {
	border-left: 2px solid gray;
	border-right: 2px solid gray;
}


.yellowBackgroundSpecial {
	font-family: "Courier New", Courier, mono;
	font-size: 15px;
}

.formattedText a:hover {
	cursor: pointer;
	background-color: lightgray;
}

.formattedText {
	margin-left: 0.0cm;
}






.greenBackground, .insertedText {
	background-color: #a8faab;
}

.orangeBackground {
	background-color: #fdd37e;
}

.yellowBackground {
	background-color: #FFFF99;
}

.highlightedBackground {
	background-color: lightblue;
}

.redBackground, .deletedText {
	background-color: #FF9999;
}

.superScript {
	position: relative;
	bottom: 0.7em;
	font-size: 60%;
}

.subScript {
	position: relative;
	top: 0.5em;
	font-size: 70%;
}





.tabs-button-small {
	font-size: 75%;
} 

.extra-scrolling-image {
	overflow-x: scroll;
	overflow-y: scroll;
    height: 80vh;
    scrollbar-width: none;
	padding: 10px;
}