@@ -9,6 +9,7 @@ h5 { text-align: center; }
9h6 { text-align: center; }
9h6 { text-align: center; }
10h1.title { }
10h1.title { }
11h2.author { }
11h2.author { }
12/* For source-code highlighting */
13/* For source-code highlighting */
13table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
14table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
14 { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
15 { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }