Test-Source

Normal text. Normal text. Normal text. Normal text. Normal text. Normal text. Normal text. Normal text. Normal text. Normal text. Normal text. Normal text. Normal text. Normal text. Normal text. Normal text. Normal text.

There should be a box with colored source

#include <stdio.h>

int main()
{
  printf("Hello world!\n");
}

And there should be normal pre-formatted source

#include <stdio.h>

int main()
{
  printf("Hello world!\n");
}