2 font-family: 'junge-regular';
3 src: url('junge-regular-webfont.woff2') format('woff2'),
4 url('junge-regular-webfont.woff') format('woff'),
5 url('junge-regular-webfont.ttf') format('truetype');
11 font-family: 'junge-regular';
21 background-color: #212A30;
30 padding: 1em 1em 2em 1.5em;
41 list-style-type: none;
45 display: inline !important;
49 border-bottom: 1px solid transparent;
53 text-decoration: none;
54 border-bottom: 1px solid #aaa;
63 padding: 1em 2em 2ex 21em;
80 border-bottom: 2px solid #ccc;
86 border-bottom: 2px solid #ddd;
91 margin: 1.5ex 0 1ex 0;
92 border-bottom: 1px solid #eee;
97 margin: 1.5ex 0 .5ex 0;
98 border-bottom: 1px solid #eee;
110 border-bottom: 2px solid #eeeeee;
113 #content table tr:nth-child(odd){
114 background-color: white;
117 #content table tr:nth-child(even){
118 background-color: #f5f5f5;
121 #content table tr:hover {
122 background-color: #F2F9FF;
135 #content table th.sub1 {
139 #content table th.sub2 {
143 #content table thead {
147 #content table.dl th {
148 /* dl class (definition list) is for 2-columns tables that describe properties:
149 maximmizes the width of the 2nd (description) column */
155 #content table.dl td {
169 #content figcaption {
170 display: table-caption;
171 caption-side: bottom;
177 #content figcaption.center {
181 #content figcaption.titleover {
186 #content figure.right {
192 #content figure.left {
198 #content figure.center {
199 margin: 1em auto 1em auto;
207 #content img.mini:hover {
212 text-shadow: 0 0 2px rgb(255, 255, 255);
213 box-shadow: inset 0 0 1px rgb(255, 255, 255), inset 0 0 .4em rgb(200, 200, 200), 0 .1em 0 rgb(130, 130, 130), 0 .11em 0 rgba(0, 0, 0, .4), 0 .1em .11em rgba(0, 0, 0, .9);
226 @media (max-width: 800px) {
241 #content p.subchapter,
243 #content p.subsection {
246 #content p.chapter { padding-top: 1em; padding-left: 1em; padding-bottom:1em; }
247 #content p.subchapter { padding-left: 4em; }
248 #content p.section { padding-left: 6em; }
249 #content p.subsection { padding-left: 8em; }
251 /* for images sliced in divs, as in http://manual.ardour.org/ardours-interface/about/ */
252 .hoverimg:hover{ z-index:100; box-shadow: 0 0 .2em .2em lightgreen; }