myStickymenu für WordPress
Das leichtgewichtige Plugin myStickymenu von Damiroquai für WordPress Blogs zeigt das Menü des Thentythirteen Themes „sticky“ am Kopf der Seite an. Laut dem Autor des Plugins funktioniert das Plugin auch mit anderen Themes.