div.page-body {
    display: table-row;
}
div.page-body div.col {
    display: table-cell;
    vertical-align: top;
}

div.toc-text, 
div.toc-figures {
    max-width: 20em;
}

div.col.results {
	max-width: 20em;
}

div.toc-text .toc, 
div.toc-figures .toc {
    float:left;
    clear:right; 
}
div.toc-text .toc.float.right, 
div.toc-figures .toc.float.right  {
    float:right;
}

div.toc-thumbs .thumb {
    padding: 3px;
}
div.toc-thumbs .thumbsel {
    padding: 2px;
    border: 1px solid blue;
}
div.toc-thumbs .thumbcap {
    color: black;
}

span.hit.highlight {
	background-color: lightgreen;
}