/* For specific tweaks of the page (if needed) */

.red {
    color: #cd2626;
    font-weight: bold;
}

.basic {
    margin-left: 20px;
    font-size: 0.85em;
}

.left {
	color: green;
}

.right {
	color: red;
}