src: local('Open Sans Bold Italic'), local('OpenSans-BoldItalic'), url(assets/OpenSans/OpenSans-BoldItalic.ttf) format('truetype');
}
@font-face {
- font-family: 'Incosolata';
+ font-family: 'Inconsolata';
font-style: normal;
font-weight: 400;
- src: local('Incosolata'), local('Inconsolata-Regular'), url(assets/Inconsolata/Inconsolata.otf) format('opentype');
+ src: local('Inconsolata'), local('Inconsolata-Regular'), url(assets/Inconsolata/Inconsolata.otf) format('opentype');
}
html {
code,
pre {
- font-family: "Incosolata", monospace;
+ font-family: "Inconsolata", monospace;
+ font-size-adjust: 0.535;
+}
+
+dt {
+ font-weight: bold;
+}
+
+thead td {
+ text-decoration: underline;
}
.page {
#footer #pageinfo {
position: relative;
- max-width: 30em;
margin: auto;
padding: 0.1em 2em;
border-top: none;