--- /dev/null
+body {
+ padding: 1rem 5%;
+ line-height: 1.45;
+}
+header {text-align: center}
+header, section {margin-bottom: 1.7rem}
+#sub {
+ color: #444;
+ font-size: 0.9rem;
+ position: relative;
+ top: -0.75rem;
+}
+main {
+ max-width: 50rem;
+ padding-bottom: 1rem;
+}
+td {padding: 0 0.25rem}
+dl {margin-left: 2.5rem}
+#contact {margin-bottom: 0}
+code {font-size: 14px}
+a:link {
+ color: #004caa;
+ text-decoration: none;
+ border-bottom: 1px solid #ddd;
+}
+a:hover {
+ background-color: #004caa;
+ color: #ffffff;
+}
+.btable th {
+ color: #777;
+ text-align: center;
+ font-size: 0.9em;
+ font-weight: normal;
+}
+.btable td:first-child {text-align: right}
+#theses {padding-left: 1rem}
+h1, h2, h3, h4, h5 {line-height: 1.15}
+#gnu-inside {
+ position: absolute;
+ top: 0px;
+ right: 0px;
+}
+#gnu-inside a {border: none !important}
+#gnu-inside:hover a {background-color: transparent}
+#gnu-inside:hover img {background-color: aliceblue}