@import "adams.css";

div.example { margin:0.5em 2em }

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 }

input { font-family:"Courier New", monospace }

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:#cccccc ; font-size:85% ; border:8px solid #cccccc }
table.searchform td { padding:2px 4px }

table.searchtips { padding:0 0.5em ; 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% }