/* Remove so called "platform filtering" tools: all of our code qualifies as 'androidjvm', so no filtering needed. */
/* Remove filtering button from top nav bar. */
.filter-section {
    display: none
}

/* Remove "platform" indicator from package in body list on landing. */
.platform-tag.jvm-like {
    display: none
}