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 boxicon badge.