The documentation votes are *aggregated* into one entry. So the 'missing' +7 is in documentation contribution votes you already were notified about before.

You must've last looked at your achievements between 14:00 and 19:53 UTC. By 14:00, you had received +2 from *HTML output from web server* and +5 from *Getting Started* (each a +1 per vote). At this point, you had 3072 reputation.

From 19:53 until midnight, you received another +2 on *HTML output from web server* and +1 on *Getting Started*. Together with the +5 and +10 reputation events on your question-and-answer pair, that's the +18 you see in the achievements icon badge.