Remove unused stylehseets

Not-used stylesheet

Simplify and fix the margin on ol.li in the way

Changed inline 'code' style to be grey with grey background; the pink was too distracting.

Hopefully prettify

Merge branch 'master' of git://git.php.net/web/php

* 'master' of git://git.php.net/web/php:
Prettified
Make these styles re-usable

Improved the landing page when adding notes. Also improved legibility of headers. Separated em and strong styles.

Prettified

Make these styles re-usable

This needs to be id for the anchor to work

Fix potential Access-Control-Allow-Origin bug in vote-note.php - Bug #65887

They are no longer calling for papers

php|tek 2014

Add a xmas logo by Christy Raju

Set the timezone

Cache the images for a day

Remove an used file & improve the logo scale

We don't use Bing! And this isn't used

This file is no longer used

This endpoint is no longer used since we have a 3rd party XHR search

Improved comment sorting algorithm. It probably still has some room for improvements. The weights are probably not quite right, either.

This style is not needed anymore

Snipe selectors and fix parameter scrollto

Display paragraph literals/ems as inline code

Poor comments are still semi-transparent, but now their score, author, and date remain opaque at all times.