h1 {
    font-size:		1.3em;
    color:		#1a65a3;
    margin-top:		0em;
    margin-bottom:	0.4em;
}
hr {
    width:		80%;
    margin-left		10%;
}

a:link {
    color:		blue;
    text-decoration:	none;
}
a:visited {
    color:		blue;
    text-decoration:	none;
}
a.lhs:link {
    color:		blue;
    text-decoration:	none;
}
a.lhs:visited {
    color:		blue;
    text-decoration:	none;
}

dt {
    font-weight:	bold;
}
dd {
    margin-left:	1.5em;
}

div.blueblock {
    background:         #e7f5fe;
    color:              black;
    border:             1px solid blue;
    border-radius:      8px;
    padding:            0.5em;
}
code {
    font-family:        monospace;
    font-size:		1.2em;
    background:		#eeeeee;
}
div.code {
    white-space:        pre;
    font:		1.1em monospace;
    line-height:	1.1rem;
    width:		fit-content;
    background:         #e7f5fe;
    border:             2px solid blue;
    border-radius:      4px;
    padding:            0.75em;
}
div.code:first-line {
    line-height:	0px;
}
span.shell {
    font-family:	monospace;
    font-weight:	bold;
    font-size:		1.2em;
    color:		blue;
    background:		#eeeeee;
}


table.thin {
    border-width:	1px 1px 1px 1px;
    border-style:	solid;
    border-collapse:	collapse;
}
th.thin {
    border-width:	1px 1px 1px 1px;
    border-style:	solid;
    background:		#cccccc;
    border-color:	gray;
    padding:		4px;
}
td.thin {
    border-width:	1px 1px 1px 1px;
    border-style:	solid;
    border-color:	gray;
    padding:		4px;
    text-align:		left;
}
td.option0 {
    padding:		2px;
    border:             1px solid blue;
    text-align:		left;
    vertical-align:	top;
    background:		white
}
td.option1 {
    padding:		2px;
    border:             1px solid blue;
    text-align:		left;
    vertical-align:	top;
    background:         #e7f5fe;
}

img.imgborder {
    border:		1px solid gray;
}