td.lectnum {
   width: 3em;
   text-align: right;
   padding: 10px 0px;
}

span.m {
    font-style: italic;
}
div.hidden {display:none}
div.figure {margin: 1em auto; text-align: center}
div.figure pre {text-align: left}
div.figure img {display: block; margin: 0 auto; padding: 0}
div.figure table {display: block; margin: 0; padding: 0}
div.floatfigure {display: float; float: right; margin: 1em 0 1em 2em }
img.whitebg {background-color: white}
pre {padding: 1ex 2em;
     background-color: #e8e4dc;
}
pre.narrow { max-width: 40ex }
h1,h2,h3,h4 {padding-top: 1ex; font-weight: medium}
span.comment {color: #008; font-style: italic}
ul { font-size: 110% }
ol > li { list-style-type: decimal }
pre { font-size: 110% }
span.lastupdate {font-size: 90%}
span.lastupdate .ampm {font-size: 80%}
span.nobreak {white-space: nowrap}
span.nobreak span {white-space: nowrap}
.cont {text-indent: 0}
div.figure .caption {display: block; text-align: center; margin: 0 auto; padding: 0}

table.sidebysidecode {
    border: none; font-size: 90%;
    width: 80%;
    margin: 0 auto;
    margin-bottom: 2ex;
}
table.sidebysidecode td {
    width: 50%;
    border-top: none;
    background-color: #e8e4dc;
    vertical-align: middle;
    margin: 0.5ex;
    padding: 0;
}
table.sidebysidecode td pre {
    margin: 0.5ex;
}
table.sidebysidecode td:first-child {
    border-top: none;
    border-right: 2px solid gray;
    background-color: #e8e4dc;
}
table.sidebysidecode tr {
    border: none
}
span.m span.id {font-style: normal}
a.pre {
	color: black;
	text-decoration: none;
	border: none;
}
tt { font-size: 100% }