Extensions Docs Server: Filter APIs UI

chrome/common/extensions/docs/server2/static/css/site.css

 body {
   color: #333;
   font: 13px/22px 'Open Sans',arial,sans-serif;
   font-weight: 400;
   background-color: white;
   margin: 0;
   padding: 0;
 }
 
 p {
@@ skipping 346 matching lines @@
   z-index: 1;
   position: relative;
 }
 
 #gc-toc div.line {
   border-top: thin solid #FAFAFA;
   height: 1px;
   margin: 1.3em 1em 0 0;
   padding: 0;
 }
+
+.filtered_item {
+  line-height: 30%;

[not at google - send to devlin, 2012/07/30 10:14:25]

pixel height is preferred; 6px looks ok.

I'd also like to see it be a differentiating colour, like the blue that's used
for code, but this has specificity issues. I'll save you the effort of playing
with it, so

#filtered_apis * {
  color: #50A9D5;
}

works. Note the *, specificity hack.

CSS is so dumb sometimes.

[cduvall, 2012/07/30 20:05:38]

Done.

+}
+
+#filtered_apis {
+  margin-top: -5px;
+  padding-bottom: 5px;
+  border-bottom: 1px solid #E5E5E5;

[not at google - send to devlin, 2012/07/30 10:14:25]

border looks kinda ugly, if you make them different colours though, i reckon
it'll distinguish itself enough.

[cduvall, 2012/07/30 20:05:38]

Done.

+}