Extensions Docs Server: Filter APIs UI

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

Index: chrome/common/extensions/docs/server2/static/css/site.css
diff --git a/chrome/common/extensions/docs/server2/static/css/site.css b/chrome/common/extensions/docs/server2/static/css/site.css
index c58275e2ccd6f3f6a2e57918505e63a167d0d828..07732c215c254790b00fc536185a4b081d778988 100644
--- a/chrome/common/extensions/docs/server2/static/css/site.css
+++ b/chrome/common/extensions/docs/server2/static/css/site.css
@@ -364,3 +364,13 @@ span.displayModeWarning {
   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.

+}