/* CSS rules for MathML objects generated by MMT's presenters */

math {
	color: blue;
}

mo {
	color: black;
	font-weight: normal;
}

mi {
	color: green;
	font-weight: normal;
}

.math-selected {
	background: silver;
}

.math-occurrence {
	background: silver;
}

.math-folded {
	font-size: 5%;
}

mo.mmt-brackets-opt {
	color: gray;
}

.mmt-reconstructed-type {
	border-top-style: dotted;
	border-width: thin
}

.mmt-implicit-arg {
	border-bottom-style: dotted;
	border-width: thin
}

.mmt-reconstructed-type-hidden, .mmt-implicit-arg-hidden, .mmt-brackets-opt-hidden {
	display: none;
}

.JOBAD_Hover {
  background-color: lightyellow;
  border-style: solid;
  border-width: 1pt;
  border-radius: 3pt;	
}

/*
msubsup > .mmt-reconstructed-hidden, msubsup > .mmt-implicit-arg-hidden, msubsup > .mmt-brackets-opt-hidden,
munderover > .mmt-reconstructed-hidden, munderover > .mmt-implicit-arg-hidden, munderover > .mmt-brackets-opt-hidden
{
   display: inline;
}
*/