/*  Centered H1  */
h1 {
    text-align: center;
}

/*  Classic table border style  */
table.bordered {
    border: 1px solid gray;
}
table.bordered th {
    border: 1px solid gray;
}
table.bordered td {
    border: 1px solid gray;
}

/*  Pre backgound grey  */
pre.grey {
    background-color: #eeeeee;
}

/*  Pre backgound pale violet  */
pre.text {
    background-color: #eeeeff;
}