@import "jefferson.css";

div.example { margin:0.5em 2em }
div.example tt { font-family:"Arial" ; font-size:11pt ; padding-left:2px ; margin-right:4px ; border-top:solid 2px #444444 ; border-left:solid 2px #444444 ; border-right:solid 1px #888888 ; border-bottom:solid 1px #888888 }
div.example tt img { vertical-align:middle }

table.hits a:link, table.hits a:visited { text-decoration:none ; color:#000000 ; padding:0 2px ; font-size:100% ; font-weight:normal ; font-family:"Times New Roman", Times, serif }
table.hits a:hover { color:#aa0044 }
table.hits td { padding:0.5em }
table.hits td.image { text-align:center }

form { margin:0 ; padding:0 }

span.context { margin-left:2em ; font-size:87% ; color:#888888 }
span.context b { color:#444444 }
span.count { color:#aaaaaa ; font-size:75% ; padding-left:1em }
span.query { background:#ffff88 }

table, td { border:0 ; margin:0 ; padding:0 }

table.searchform { width:100% ; background: #E6CB9E; font-size:85% ; border-top:1px solid #aaaa88 ; border-bottom:1px solid #aaaa88 }

table.searchform td { padding:2px 4px }

table.searchtips { text-align:left ; width:100% }
table.searchtips td  { font-size:85% ; padding:0.5em }
table.searchtips ul { margin-bottom:0 }

ul.toc a { font-size:75% }