7 font: 12px "Lucida Grande", Tahoma, Arial, Helvetica, sans-serif;
14 background-color: #ccc;
29 border-top: 1px solid #7F8FB1;
37 border: 1px dashed #ccc;
47 background-color: #F3F3F3;
59 list-style-type: none;
62 font-family: arial, sans-serif;
73 .summaryTable { width: 100%; }
81 h2 { font-size: 110%; }
82 caption, div.sectionTitle
84 background-color: #7F8FB1;
88 padding: 2px 6px 2px 6px;
89 border: 1px #7F8FB1 solid;
92 div.sectionTitle { margin-bottom: 8px; }
93 .summaryTable thead { display: none; }
99 border-bottom: 1px #7F8FB1 solid;
100 border-right: 1px #7F8FB1 solid;
101 border-left: 1px #7F8FB1 solid;
104 .summaryTable td.attributes
106 border-left: 1px #7F8FB1 solid;
111 td.attributes, .fixedFont
115 font-family: "Courier New",Courier,monospace;
119 .summaryTable td.nameDescription
126 .summaryTable td.nameDescription, .description
133 .summaryTable { margin-bottom: 8px; }
146 .detailList dt { margin-left: 20px; }
155 .light, td.attributes, .light a:link, .light a:visited
169 /* Copied from styles.css generated by Github Pages */
171 @import url(https://fonts.googleapis.com/css?family=Lato:300italic,700italic,300,700);
175 font:14px/1.5 Lato, "Helvetica Neue", Helvetica, Arial, sans-serif;
180 h1, h2, h3, h4, h5, h6 {
185 p, ul, ol, table, pre, dl {
208 text-decoration:none;
224 border-left:1px solid #e5e5e5;
231 font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal;
240 border:1px solid #e5e5e5;
246 border-collapse:collapse;
252 border-bottom:1px solid #e5e5e5;
279 background: -moz-linear-gradient(top, #f8f8f8 0%, #dddddd 100%);
280 background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#f8f8f8), color-stop(100%,#dddddd));
281 background: -webkit-linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
282 background: -o-linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
283 background: -ms-linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
284 background: linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
287 border:1px solid #d2d2d2;
288 box-shadow:inset #fff 0 1px 0, inset rgba(0,0,0,0.03) 0 -1px 0;*/
295 border-right:1px solid #d2d2d2;
314 /*header ul li + li {
316 border-left:1px solid #fff;
319 header ul li + li + li {
354 @media print, screen and (max-width: 960px) {
361 header, section, footer {
368 /*padding-right:320px;*/
373 border:1px solid #e5e5e5;
394 @media print, screen and (max-width: 720px) {
396 word-wrap:break-word;
403 header ul, header p.view {
412 @media print, screen and (max-width: 480px) {