table.thin {
	border-width: 1px 1px 1px 1px;
	border-color: gray;
	border-style: solid;
	border-collapse: collapse;
}
tr.thin {
	border-width: 1px 1px 1px 1px;
	border-style: solid;
	border-color: gray;
	padding: 2px;
	text-align: left;
	white-space: nowrap;
}
th.thin {
	border-width: 1px 1px 1px 1px;
	border-style: solid;
	border-color: gray;
	padding: 2px;
	text-align: center;
	vertical-align: middle;
	white-space: nowrap;
	background-color: lightgray;
}
td.thin {
	border-width: 1px 1px 1px 1px;
	border-style: solid;
	border-color: gray;
	padding: 4px;
	text-align: left;
}
td.thing {
	border-width: 1px 1px 1px 1px;
	border-style: solid;
	border-color: gray;
	background-color: #eeeeee;
	padding: 4px;
	text-align: left;
}
td.book {
	border-width: 1px 1px 1px 1px;
	border-style: solid;
	border-color: white;
	background-color: white;
	text-align: left;
	vertical-align: top;
}
td.white {
	border-width: 1px 1px 1px 1px;
	border-style: solid;
	border-color: white;
	background-color: white;
	padding: 4px;
	text-align: left;
	vertical-align: top;
}
.thincenter {
    border-width: 1px 1px 1px 1px;
    border-style: solid;
    border-color: gray;
    padding: 4px;
    text-align: center;
}

dt {
    font-weight:	bold;
}

dd {
    margin-left:	2em;
}

h3 {
    font-size:		1.2em;
    color:		#ce7019;
    margin-bottom:	0.6em;
}

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

ul#bullet {
    list-style-image:	url(/newcss/graphics/bullet-link.gif);
    list-style-image:	url('./images/bullet-link.gif');
    margin:		0 9px 0 8px;
}

.book {
    padding:		4px;
    vertical-align:	top;
}

code {
    font-family:        monospace;
    font-size:          1.3em;
    background:         #eeeeee;
}
div.code {
    white-space:        pre;
    font:               1.3em monospace;
    width:              fit-content;
    background-color:   #eeeeee;
    border:             1px solid gray;
    border-radius:      4px;
    padding:            0.5em;
}
div.code:first-line {
    line-height:        0px;
}
span.shell {
    font-family:        monospace;
    font-weight:        bold;
    font-size:          1.3em;
    color:              blue;
    background:         #eeeeee;
}