MediaWiki talk:Common.css

Can we add the following? (same name choice as in Wikipedia:MediaWiki:Common.css)

/* Make it possible to hide checkboxes in <inputbox> */
.inputbox-hidecheckboxes form .inputbox-element {
    display: none !important;
}

--barto (talk) 10:58, 27 August 2017 (EDT)

To what purpose? --prime mover (talk) 11:27, 27 August 2017 (EDT)

To hide the checkboxes in the (to be added) Help search box at help:Contents. See User:Barto/Sandbox for how it looks like now. --barto (talk) 11:53, 27 August 2017 (EDT)

Sorry, I haven't got a clue what all this is supposed to achieve. --prime mover (talk) 15:29, 27 August 2017 (EDT)

To add a search box for help pages at Help:Contents. --barto (talk) 06:17, 2 September 2017 (EDT)

I'm not sure why anybody would want to use it. Unless this is just an interesting programming exercise for the sake of it, of course. --prime mover (talk) 07:06, 2 September 2017 (EDT)

Of course contributors want to search help pages. I do so myself. --barto (talk) 07:20, 2 September 2017 (EDT)