@document domain("metafilter.com")
{
  [id^="plusminus"]
  {
    font-size: 200% !important;
  }
}