/*
 * Style definition for LCR
 *
 */

body {background: #e02;}
h1 {border-bottom: 5px solid #f3a; text-align: center;}
div.main {
	background: white; border: 10px solid #f3a; padding: 1ex;
	margin: 10px;

}
.c {text-align: center;}
.fl {float: left; margin-left: 3em;}
.fr {float: right;}

p {text-indent: 1em;}
ul+p {text-indent: 0;} ul p {text-indent: 0;}
.fr+p {padding-top: 1em;}

.list {
  background-color: #ed9;
  margin-left: 5%; margin-right: 5%;
  padding: 0px 1ex; overflow: scroll;
}
li .list, li .screen {margin: 0.5ex;}
.list code, .pre {white-space: pre;}

.border, .border td, .border th {
	border: 1px solid; border-collapse: collapse;
        padding: 3px 4px 5px 4px;
}
.tdcfw td, .tdcfwtd {text-align: center; font-family: monospace; width: 2.5em;}
.ul {text-decoration: underline;}
.e {color: tomato; text-decoration: underline;}
.small {font-size: smaller;}