p.itemskip { margin-bottom: 0.5ex; }

/* Modifications to styles for source code highlighting. */

/*
.cpp .coMULTI {color: #B00000; font-style: italic;}
.cpp .st0 {color: #E000E0;}
.cpp .br0 {color: black;}
.cpp .co2 {color: #006600;}

.cpp .es0,
.cpp .es1,
.cpp .es2,
.cpp .es3,
.cpp .es4,
.cpp .es5
{color: inherit; font-weight: normal;}
*/