About highlight.js
highlight.js highlights syntax in code examples on HTML pages. It is used on this website to highlight AADL source code.
I wrote a specific stylesheet for AADL, see the github project page for more details. Please refer to the original project documentation for more details on how to use this stylesheet.