.portrait {
	float:right;
	position:relative;
	height: 3em; /* 0.8in; */
	vertical-align:inherit;
	
}

.reveal .algbox {z-index: 1;
	width: intrinsic;       /* Safari/WebKit */
	width: -moz-max-content;  /* Firefox/Gecko */
	
	margin: 0.5em;
	padding: 0.4em 0.4em 0.2em 0.4em; 
	font: 110%/1em Helvetica, sans-serif;
	
	background: rgba(244, 226, 226, 253); /*rgba(255, 0, 0, 0.25); */
	
	-webkit-border-radius: 8px;
	-khtml-border-radius: 8px;
	-moz-border-radius: 8px;
	border-radius: 8px;
	
	margin-bottom: 10px;
	border: 1px solid rgba(0, 0, 0, 0.2); 
 }

.reveal .roundtable {
	border-collapse: separate;
        border: 0px solid black;

	border-radius: 10px;
         padding: 10px;
}

.reveal .roundtable  td {
    border: 2px solid black;
    border-radius: 10px;
    -moz-border-radius: 5px;
    padding: 0px;
    text-align: center;
}

.reveal  .algtable {
	border-style: hidden;
	border:none;
	font-size: 80%;
}

.reveal  .algtable td {
	border-style: hidden;
	border: none;
	text-align: left;
}



.tgroup {
	color:green;
}

.reveal ol li,
.reveal ul li {
	margin: 0.2em 0 0 0;
}


.reveal .Kbox{
	border-top-right-radius:15px;
	padding:15px;
	width:100%;
	margin-bottom:10px;
	margin-top:10px;
	position:relative;
	display:block;
	text-align:left;
	font-size:80%
}

.reveal .Kboxdef {
	background:rgba(244, 226, 226, 253);
	box-shadow:5px 5px 5px 2px #ccc;
	text-shadow:1px 1px 0 #fff;
}

.reveal .Kboxclaim {
	box-shadow:5px 5px 5px 2px #ccc;
	background: rgba(220,220,244,200);
	text-shadow:1px 1px 0 #fff;
}

.reveal .Kboxexample {
	background:ghostwhite;
	box-shadow:5px 5px 5px 2px #ccc;
	text-shadow:1px 1px 0 #fff;
}
	
.reveal .Kbox[data-title]:before{
	position:relative;
	right:0;
	top:0;
	margin-top:-15px;
	margin-right:-15px;
	border-top-right-radius:15px;
	border-bottom-left-radius:15px;
	text-align:center;
	padding:2px 40px;
	float:right;
	text-shadow:none;
}

.reveal .Kboxdef[data-title]:before{
	background:#c0392b;
	color: white;
}

.reveal .Kboxclaim[data-title]:before{
	background:rgba(172,172,246,255);
	color:black;
}

.reveal .Kboxexample[data-title]:before{
	background:mediumseagreen;
	color:black;
}

.reveal div .Kbox[data-title]:before{
	content:attr(data-title)
}

.reveal .Kbox .data-title {
	position:relative;
	right:0;
	top:0;
	margin-top:-15px;
	margin-right:-15px;
	border-top-right-radius:15px;
	border-bottom-left-radius:15px;
	text-align:center;
	padding:2px 40px;
	float:right;
	text-shadow:none;	
}

.reveal .Kboxdef .data-title {
	background:#c0392b;
	color: white;
}

.reveal .Kboxclaim .data-title {
	background:rgba(172,172,246,255);
	color:black;
}

.reveal .Kboxexample .data-title {
	background:mediumseagreen;
	color:black;
}


.reveal .box-red{
	border-top-right-radius:15px;
	padding:15px;
	background:rgba(244, 226, 226, 253);
	width:100%;
	margin-bottom:10px;
	margin-top:10px;
	position:relative;
	box-shadow:5px 5px 5px 2px #ccc;
	display:block;
	text-shadow:1px 1px 0 #fff;
	text-align:left;
	font-size:80%
}
	
.reveal .box-red[data-title]:before{
	position:relative;
	right:0;
	top:0;
	margin-top:-15px;
	margin-right:-15px;
	background:#c0392b;
	color:#fff;
	border-top-right-radius:15px;
	border-bottom-left-radius:15px;
	text-align:center;
	padding:2px 40px;
	float:right;
	text-shadow:none;
}

.reveal div .box-red[data-title]:before{
	content:attr(data-title)
}

.reveal .box-red .data-title {
	position:relative;
	right:0;
	top:0;
	margin-top:-15px;
	margin-right:-15px;
	background:#c0392b;
	color:#fff;
	border-top-right-radius:15px;
	border-bottom-left-radius:15px;
	text-align:center;
	padding:2px 40px;
	float:right;
	text-shadow:none;	
}

.reveal .box-green{
	border-top-right-radius:15px;
	padding:15px;
	width:100%;
	margin-bottom:10px;
	margin-top:10px;
	position:relative;
	display:block;
	box-shadow:5px 5px 5px 2px #ccc;
	background: rgba(220,220,244,200);
	text-shadow:1px 1px 0 #fff;
	text-align:left;
	font-size:80%
}
	
.reveal .box-green[data-title]:before{
	position:relative;
	right:0;
	top:0;
	margin-top:-15px;
	margin-right:-15px;
	background:rgba(172,172,246,255);
	color:#fff;
	border-top-right-radius:15px;
	border-bottom-left-radius:15px;
	text-align:center;
	padding:2px 40px;
	float:right;
	text-shadow:none;
}

.reveal div .box-green[data-title]:before{
	content:attr(data-title)
}

.reveal .box-green .data-title {
	position:relative;
	right:0;
	top:0;
	margin-top:-15px;
	margin-right:-15px;
	background:rgba(172,172,246,255);
	color:#fff;
	border-top-right-radius:15px;
	border-bottom-left-radius:15px;
	text-align:center;
	padding:2px 40px;
	float:right;
	text-shadow:none;	
}

.reveal .box-proof .data-title {
	position:relative;
	right:0;
	top:0;
	margin-top:-15px;
	margin-right:-15px;
	background:rgba(172,172,246,255);
	color:#fff;
	border-top-right-radius:15px;
	border-bottom-left-radius:15px;
	text-align:center;
	padding:2px 40px;
	float:right;
	text-shadow:none;	
}


.reveal .box-proof{
	border-top-right-radius:15px;
	padding:15px;
	
	width:95%;
	margin-left: 5%;
	margin-bottom:10px;
	margin-top:10px;
	position:relative;
	background: rgba(220,240,220,200);
	box-shadow:5px 5px 5px 2px #ccc;
		text-shadow:1px 1px 0 #fff;
	display:block;
	text-align:left;
	font-size:80%
}
	
.reveal .box-proof[data-title]:before{
	position:relative;
	right:0;
	top:0;
	margin-top:-15px;
	margin-right:-15px;
	background:rgba(172,172,246,255);
	color:#fff;
	border-top-right-radius:15px;
	border-bottom-left-radius:15px;
	text-align:center;
	padding:2px 40px;
	float:right;
	text-shadow:none;
}

.reveal div .box-proof[data-title]:before{
	content:attr(data-title)
}


.reveal .col_emph{
	color:red;
}


/*
 *.slides .footer {
  display: inline-block;
  position: absolute;
  bottom: 0em;
  left: 50%;
  font-size: 0.75em;
  z-index: 20;
}
*/

*.slides .footer
{
	opacity: 1;
	transition: opacity 800ms ease-in-out;
	position: fixed;
	height: 2vh;
	z-index: 20;
	width: 100%;
	font-size: 2vh;
	text-align: center; 
	letter-spacing: 0em;
	padding-top: 0.5vh;
	padding-bottom: 0.5vh;
	bottom: 3px;
}

/*
.reveal p :hover {
	color:green;
}

.MathJax_MathML {color: inherit;}

.reveal .MathJax_MathML:hover {color:green;}

.reveal mtable:hover {color:black;}

.reveal mtr:hover {color: blue;}

.reveal mstyle:hover {color:blue;}

.reveal mstyle .done {color:inherit;}

.reveal ol li ul ul li:hover {color:blue;}

.reveal ol ul ul ul li:hover {color:blue;}

.reveal ul li:hover {color:blue;}

.reveal table tr:hover {color:blue;}

*/

.reveal div .tied_highlightee_current {color: red;} /* hopefully the same as highlight-current */


.reveal .KGrid {
	display: flex;
	justify-content: space-around;
  }
  
.reveal .Kgrid .KGrid-cell {
	flex: 1;
	flex-direction: column;
	margin-right:5%;

	margin: 0.5em;
	padding: 0.4em 0.4em 0.2em 0.4em; 
	font: 110%/1em Helvetica, sans-serif;
	
	background: rgba(244, 226, 226, 253); /*rgba(255, 0, 0, 0.25); */
	
	-webkit-border-radius: 8px;
	-khtml-border-radius: 8px;
	-moz-border-radius: 8px;
	border-radius: 8px;
	
	margin-bottom: 10px;
	border: 1px solid rgba(0, 0, 0, 0.2); 
}