Bloody mosquitoes....

I broke this a few patches ago; it worked locally without it, but apparently is needed.

Removed the margin-top for h4, h5, and h6; this allows them to be flush on the top of the page. After looking at a few pages that use h4 tags, it seems if they are not at the top they are below an el

Removed the margin-top for h4, h5, and h6; this allows them to be flush on the top of the page. After looking at a few pages that use h4 tags, it seems if they are not at the top they are below an element that has a margin-bottom, so we should be okay.

show more ...

Some code-style improvements... I think. It also improves some HTML semantics (such as using label instead of p) so if you revert this, please bear that in mind. It probably should have been separate

Some code-style improvements... I think. It also improves some HTML semantics (such as using label instead of p) so if you revert this, please bear that in mind. It probably should have been separate commits; I'm sorry.

show more ...

.title will no longer extend behind .page-tools

Fixed bug #66380 (edit.php.net is missing on sites.php)

Bump copyright year

Couple of more syntax things see bug#66371

Syntax fixes. Hopefully fixes IE issues, see bug #66371

This isn't used anymore

CFP for PHPTour Lyon

Fail images

Prep for 2014

Hardcode the 2013 news

Javascript changes affect the frontpage too

Add a way to avoid the cache

Easter eggs

Add a 'g a' full site search (based on doc indexes)

Relax a tad on the massive doc page caching :)

Bump the size of the focused search element

Document the local page search shortcut

Have some fun with current-page search (keyboard shortcut: g s)

Implement cycling through headers

Removed unneeded vendor prefixes. Note that we still need -moz-box-sizing; even v28 (two releases out from now) is not scheduled to support unprefixed box-sizing.

Fixed minor border-radius issue on the sidebar.