@ -238,6 +238,19 @@ div.searchresults {
margin-bottom : 1em ;
}
body # Surftips div . searchresults {
float : left ;
width : 35em ;
height : 6em ;
margin-left : 1em ;
margin-bottom : 0 ;
overflow : hidden ;
}
p . aftersurftips {
clear : both ;
}
/* Bookmarks */
div . Tags {
@ -331,6 +344,7 @@ form dt, dl.pairs dt {
form dd {
margin : 0 0 0 . 5em 0 . 25em ;
float : left ;
}
dl . pairs dd {
@ -339,40 +353,40 @@ dl.pairs dd {
}
/* for pages: */
body # ViewLog div . log {
height : 600px ;
overflow : scroll ;
}
body # ViewLog div . log {
height : 600px ;
overflow : scroll ;
}
body # ViewLog pre {
width : 100 % ; /* TODO: fix width in IE */
margin-top : 0px ;
margin-bottom : 0px ;
font-family : Courier , monospace ;
font-weight : normal ;
width : 100 % ; /* TODO: fix width in IE */
margin-top : 0px ;
margin-bottom : 0px ;
font-family : Courier , monospace ;
font-weight : normal ;
font-size : small ;
}
body # ViewLog pre . logSevere {
color : red ;
}
body # ViewLog pre . logWarning {
color : orange
}
body # ViewLog pre . logSystem {
color : black ;
}
body # ViewLog pre . logInfo {
color : black ;
}
body # ViewLog pre . logDebug {
color : black ;
}
}
body # ViewLog pre . logSevere {
color : red ;
}
body # ViewLog pre . logWarning {
color : orange
}
body # ViewLog pre . logSystem {
color : black ;
}
body # ViewLog pre . logInfo {
color : black ;
}
body # ViewLog pre . logDebug {
color : black ;
}
body # QuickCrawlLink p , body # QuickCrawlLink h4 {
padding : 0 5 % ;