You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

865 lines
18 KiB

3 years ago
  1. /*
  2. * Javadoc style sheet
  3. */
  4. @import url('resources/fonts/dejavu.css');
  5. /*
  6. * Styles for individual HTML elements.
  7. *
  8. * These are styles that are specific to individual HTML elements. Changing them affects the style of a particular
  9. * HTML element throughout the page.
  10. */
  11. body {
  12. background-color:#ffffff;
  13. color:#353833;
  14. font-family:'DejaVu Sans', Arial, Helvetica, sans-serif;
  15. font-size:14px;
  16. margin:0;
  17. padding:0;
  18. height:100%;
  19. width:100%;
  20. }
  21. iframe {
  22. margin:0;
  23. padding:0;
  24. height:100%;
  25. width:100%;
  26. overflow-y:scroll;
  27. border:none;
  28. }
  29. a:link, a:visited {
  30. text-decoration:none;
  31. color:#4A6782;
  32. }
  33. a[href]:hover, a[href]:focus {
  34. text-decoration:none;
  35. color:#bb7a2a;
  36. }
  37. a[name] {
  38. color:#353833;
  39. }
  40. pre {
  41. font-family:'DejaVu Sans Mono', monospace;
  42. font-size:14px;
  43. }
  44. h1 {
  45. font-size:20px;
  46. }
  47. h2 {
  48. font-size:18px;
  49. }
  50. h3 {
  51. font-size:16px;
  52. }
  53. h4 {
  54. font-size:15px;
  55. }
  56. h5 {
  57. font-size:14px;
  58. }
  59. h6 {
  60. font-size:13px;
  61. }
  62. ul {
  63. list-style-type:disc;
  64. }
  65. code, tt {
  66. font-family:'DejaVu Sans Mono', monospace;
  67. }
  68. :not(h1, h2, h3, h4, h5, h6) > code,
  69. :not(h1, h2, h3, h4, h5, h6) > tt {
  70. font-size:14px;
  71. padding-top:4px;
  72. margin-top:8px;
  73. line-height:1.4em;
  74. }
  75. dt code {
  76. font-family:'DejaVu Sans Mono', monospace;
  77. font-size:14px;
  78. padding-top:4px;
  79. }
  80. .summary-table dt code {
  81. font-family:'DejaVu Sans Mono', monospace;
  82. font-size:14px;
  83. vertical-align:top;
  84. padding-top:4px;
  85. }
  86. sup {
  87. font-size:8px;
  88. }
  89. button {
  90. font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
  91. font-size: 14px;
  92. }
  93. /*
  94. * Styles for HTML generated by javadoc.
  95. *
  96. * These are style classes that are used by the standard doclet to generate HTML documentation.
  97. */
  98. /*
  99. * Styles for document title and copyright.
  100. */
  101. .clear {
  102. clear:both;
  103. height:0;
  104. overflow:hidden;
  105. }
  106. .about-language {
  107. float:right;
  108. padding:0 21px 8px 8px;
  109. font-size:11px;
  110. margin-top:-9px;
  111. height:2.9em;
  112. }
  113. .legal-copy {
  114. margin-left:.5em;
  115. }
  116. .tab {
  117. background-color:#0066FF;
  118. color:#ffffff;
  119. padding:8px;
  120. width:5em;
  121. font-weight:bold;
  122. }
  123. /*
  124. * Styles for navigation bar.
  125. */
  126. @media screen {
  127. .flex-box {
  128. position:fixed;
  129. display:flex;
  130. flex-direction:column;
  131. height: 100%;
  132. width: 100%;
  133. }
  134. .flex-header {
  135. flex: 0 0 auto;
  136. }
  137. .flex-content {
  138. flex: 1 1 auto;
  139. overflow-y: auto;
  140. }
  141. }
  142. .top-nav {
  143. background-color:#4D7A97;
  144. color:#FFFFFF;
  145. float:left;
  146. padding:0;
  147. width:100%;
  148. clear:right;
  149. min-height:2.8em;
  150. padding-top:10px;
  151. overflow:hidden;
  152. font-size:12px;
  153. }
  154. .sub-nav {
  155. background-color:#dee3e9;
  156. float:left;
  157. width:100%;
  158. overflow:hidden;
  159. font-size:12px;
  160. }
  161. .sub-nav div {
  162. clear:left;
  163. float:left;
  164. padding:0 0 5px 6px;
  165. text-transform:uppercase;
  166. }
  167. .sub-nav .nav-list {
  168. padding-top:5px;
  169. }
  170. ul.nav-list {
  171. display:block;
  172. margin:0 25px 0 0;
  173. padding:0;
  174. }
  175. ul.sub-nav-list {
  176. float:left;
  177. margin:0 25px 0 0;
  178. padding:0;
  179. }
  180. ul.nav-list li {
  181. list-style:none;
  182. float:left;
  183. padding: 5px 6px;
  184. text-transform:uppercase;
  185. }
  186. .sub-nav .nav-list-search {
  187. float:right;
  188. margin:0 0 0 0;
  189. padding:5px 6px;
  190. clear:none;
  191. }
  192. .nav-list-search label {
  193. position:relative;
  194. right:-16px;
  195. }
  196. ul.sub-nav-list li {
  197. list-style:none;
  198. float:left;
  199. padding-top:10px;
  200. }
  201. .top-nav a:link, .top-nav a:active, .top-nav a:visited {
  202. color:#FFFFFF;
  203. text-decoration:none;
  204. text-transform:uppercase;
  205. }
  206. .top-nav a:hover {
  207. text-decoration:none;
  208. color:#bb7a2a;
  209. text-transform:uppercase;
  210. }
  211. .nav-bar-cell1-rev {
  212. background-color:#F8981D;
  213. color:#253441;
  214. margin: auto 5px;
  215. }
  216. .skip-nav {
  217. position:absolute;
  218. top:auto;
  219. left:-9999px;
  220. overflow:hidden;
  221. }
  222. /*
  223. * Hide navigation links and search box in print layout
  224. */
  225. @media print {
  226. ul.nav-list, div.sub-nav {
  227. display:none;
  228. }
  229. }
  230. /*
  231. * Styles for page header and footer.
  232. */
  233. .title {
  234. color:#2c4557;
  235. margin:10px 0;
  236. }
  237. .sub-title {
  238. margin:5px 0 0 0;
  239. }
  240. .header ul {
  241. margin:0 0 15px 0;
  242. padding:0;
  243. }
  244. .header ul li, .footer ul li {
  245. list-style:none;
  246. font-size:13px;
  247. }
  248. /*
  249. * Styles for headings.
  250. */
  251. body.class-declaration-page .summary h2,
  252. body.class-declaration-page .details h2,
  253. body.class-use-page h2,
  254. body.module-declaration-page .block-list h2 {
  255. font-style: italic;
  256. padding:0;
  257. margin:15px 0;
  258. }
  259. body.class-declaration-page .summary h3,
  260. body.class-declaration-page .details h3,
  261. body.class-declaration-page .summary .inherited-list h2 {
  262. background-color:#dee3e9;
  263. border:1px solid #d0d9e0;
  264. margin:0 0 6px -8px;
  265. padding:7px 5px;
  266. }
  267. /*
  268. * Styles for page layout containers.
  269. */
  270. main {
  271. clear:both;
  272. padding:10px 20px;
  273. position:relative;
  274. }
  275. dl.notes > dt {
  276. font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
  277. font-size:12px;
  278. font-weight:bold;
  279. margin:10px 0 0 0;
  280. color:#4E4E4E;
  281. }
  282. dl.notes > dd {
  283. margin:5px 10px 10px 0;
  284. font-size:14px;
  285. font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
  286. }
  287. dl.name-value > dt {
  288. margin-left:1px;
  289. font-size:1.1em;
  290. display:inline;
  291. font-weight:bold;
  292. }
  293. dl.name-value > dd {
  294. margin:0 0 0 1px;
  295. font-size:1.1em;
  296. display:inline;
  297. }
  298. /*
  299. * Styles for lists.
  300. */
  301. li.circle {
  302. list-style:circle;
  303. }
  304. ul.horizontal li {
  305. display:inline;
  306. font-size:0.9em;
  307. }
  308. div.inheritance {
  309. margin:0;
  310. padding:0;
  311. }
  312. div.inheritance div.inheritance {
  313. margin-left:2em;
  314. }
  315. ul.block-list,
  316. ul.details-list,
  317. ul.member-list,
  318. ul.summary-list {
  319. margin:10px 0 10px 0;
  320. padding:0;
  321. }
  322. ul.block-list > li,
  323. ul.details-list > li,
  324. ul.member-list > li,
  325. ul.summary-list > li {
  326. list-style:none;
  327. margin-bottom:15px;
  328. line-height:1.4;
  329. }
  330. .summary-table dl, .summary-table dl dt, .summary-table dl dd {
  331. margin-top:0;
  332. margin-bottom:1px;
  333. }
  334. ul.see-list, ul.see-list-long {
  335. padding-left: 0;
  336. list-style: none;
  337. }
  338. ul.see-list li {
  339. display: inline;
  340. }
  341. ul.see-list li:not(:last-child):after,
  342. ul.see-list-long li:not(:last-child):after {
  343. content: ", ";
  344. white-space: pre-wrap;
  345. }
  346. /*
  347. * Styles for tables.
  348. */
  349. .summary-table, .details-table {
  350. width:100%;
  351. border-spacing:0;
  352. border-left:1px solid #EEE;
  353. border-right:1px solid #EEE;
  354. border-bottom:1px solid #EEE;
  355. padding:0;
  356. }
  357. .caption {
  358. position:relative;
  359. text-align:left;
  360. background-repeat:no-repeat;
  361. color:#253441;
  362. font-weight:bold;
  363. clear:none;
  364. overflow:hidden;
  365. padding:0;
  366. padding-top:10px;
  367. padding-left:1px;
  368. margin:0;
  369. white-space:pre;
  370. }
  371. .caption a:link, .caption a:visited {
  372. color:#1f389c;
  373. }
  374. .caption a:hover,
  375. .caption a:active {
  376. color:#FFFFFF;
  377. }
  378. .caption span {
  379. white-space:nowrap;
  380. padding-top:5px;
  381. padding-left:12px;
  382. padding-right:12px;
  383. padding-bottom:7px;
  384. display:inline-block;
  385. float:left;
  386. background-color:#F8981D;
  387. border: none;
  388. height:16px;
  389. }
  390. div.table-tabs {
  391. padding:10px 0 0 1px;
  392. margin:0;
  393. }
  394. div.table-tabs > button {
  395. border: none;
  396. cursor: pointer;
  397. padding: 5px 12px 7px 12px;
  398. font-weight: bold;
  399. margin-right: 3px;
  400. }
  401. div.table-tabs > button.active-table-tab {
  402. background: #F8981D;
  403. color: #253441;
  404. }
  405. div.table-tabs > button.table-tab {
  406. background: #4D7A97;
  407. color: #FFFFFF;
  408. }
  409. .two-column-summary {
  410. display: grid;
  411. grid-template-columns: minmax(15%, max-content) minmax(15%, auto);
  412. }
  413. .three-column-summary {
  414. display: grid;
  415. grid-template-columns: minmax(10%, max-content) minmax(15%, max-content) minmax(15%, auto);
  416. }
  417. .four-column-summary {
  418. display: grid;
  419. grid-template-columns: minmax(10%, max-content) minmax(10%, max-content) minmax(10%, max-content) minmax(10%, auto);
  420. }
  421. @media screen and (max-width: 600px) {
  422. .two-column-summary {
  423. display: grid;
  424. grid-template-columns: 1fr;
  425. }
  426. }
  427. @media screen and (max-width: 800px) {
  428. .three-column-summary {
  429. display: grid;
  430. grid-template-columns: minmax(10%, max-content) minmax(25%, auto);
  431. }
  432. .three-column-summary .col-last {
  433. grid-column-end: span 2;
  434. }
  435. }
  436. @media screen and (max-width: 1000px) {
  437. .four-column-summary {
  438. display: grid;
  439. grid-template-columns: minmax(15%, max-content) minmax(15%, auto);
  440. }
  441. }
  442. .summary-table > div, .details-table > div {
  443. text-align:left;
  444. padding: 8px 3px 3px 7px;
  445. }
  446. .col-first, .col-second, .col-last, .col-constructor-name, .col-summary-item-name {
  447. vertical-align:top;
  448. padding-right:0;
  449. padding-top:8px;
  450. padding-bottom:3px;
  451. }
  452. .table-header {
  453. background:#dee3e9;
  454. font-weight: bold;
  455. }
  456. .col-first, .col-first {
  457. font-size:13px;
  458. }
  459. .col-second, .col-second, .col-last, .col-constructor-name, .col-summary-item-name, .col-last {
  460. font-size:13px;
  461. }
  462. .col-first, .col-second, .col-constructor-name {
  463. vertical-align:top;
  464. overflow: auto;
  465. }
  466. .col-last {
  467. white-space:normal;
  468. }
  469. .col-first a:link, .col-first a:visited,
  470. .col-second a:link, .col-second a:visited,
  471. .col-first a:link, .col-first a:visited,
  472. .col-second a:link, .col-second a:visited,
  473. .col-constructor-name a:link, .col-constructor-name a:visited,
  474. .col-summary-item-name a:link, .col-summary-item-name a:visited,
  475. .constant-values-container a:link, .constant-values-container a:visited,
  476. .all-classes-container a:link, .all-classes-container a:visited,
  477. .all-packages-container a:link, .all-packages-container a:visited {
  478. font-weight:bold;
  479. }
  480. .table-sub-heading-color {
  481. background-color:#EEEEFF;
  482. }
  483. .even-row-color, .even-row-color .table-header {
  484. background-color:#FFFFFF;
  485. }
  486. .odd-row-color, .odd-row-color .table-header {
  487. background-color:#EEEEEF;
  488. }
  489. /*
  490. * Styles for contents.
  491. */
  492. .deprecated-content {
  493. margin:0;
  494. padding:10px 0;
  495. }
  496. div.block {
  497. font-size:14px;
  498. font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
  499. }
  500. .col-last div {
  501. padding-top:0;
  502. }
  503. .col-last a {
  504. padding-bottom:3px;
  505. }
  506. .module-signature,
  507. .package-signature,
  508. .type-signature,
  509. .member-signature {
  510. font-family:'DejaVu Sans Mono', monospace;
  511. font-size:14px;
  512. margin:14px 0;
  513. white-space: pre-wrap;
  514. }
  515. .module-signature,
  516. .package-signature,
  517. .type-signature {
  518. margin-top: 0;
  519. }
  520. .member-signature .type-parameters-long,
  521. .member-signature .parameters,
  522. .member-signature .exceptions {
  523. display: inline-block;
  524. vertical-align: top;
  525. white-space: pre;
  526. }
  527. .member-signature .type-parameters {
  528. white-space: normal;
  529. }
  530. /*
  531. * Styles for formatting effect.
  532. */
  533. .source-line-no {
  534. color:green;
  535. padding:0 30px 0 0;
  536. }
  537. h1.hidden {
  538. visibility:hidden;
  539. overflow:hidden;
  540. font-size:10px;
  541. }
  542. .block {
  543. display:block;
  544. margin:0 10px 5px 0;
  545. color:#474747;
  546. }
  547. .deprecated-label, .descfrm-type-label, .implementation-label, .member-name-label, .member-name-link,
  548. .module-label-in-package, .module-label-in-type, .override-specify-label, .package-label-in-type,
  549. .package-hierarchy-label, .type-name-label, .type-name-link, .search-tag-link, .preview-label {
  550. font-weight:bold;
  551. }
  552. .deprecation-comment, .help-footnote, .preview-comment {
  553. font-style:italic;
  554. }
  555. .deprecation-block {
  556. font-size:14px;
  557. font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
  558. border-style:solid;
  559. border-width:thin;
  560. border-radius:10px;
  561. padding:10px;
  562. margin-bottom:10px;
  563. margin-right:10px;
  564. display:inline-block;
  565. }
  566. .preview-block {
  567. font-size:14px;
  568. font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
  569. border-style:solid;
  570. border-width:thin;
  571. border-radius:10px;
  572. padding:10px;
  573. margin-bottom:10px;
  574. margin-right:10px;
  575. display:inline-block;
  576. }
  577. div.block div.deprecation-comment {
  578. font-style:normal;
  579. }
  580. /*
  581. * Styles specific to HTML5 elements.
  582. */
  583. main, nav, header, footer, section {
  584. display:block;
  585. }
  586. /*
  587. * Styles for javadoc search.
  588. */
  589. .ui-autocomplete-category {
  590. font-weight:bold;
  591. font-size:15px;
  592. padding:7px 0 7px 3px;
  593. background-color:#4D7A97;
  594. color:#FFFFFF;
  595. }
  596. .result-item {
  597. font-size:13px;
  598. }
  599. .ui-autocomplete {
  600. max-height:85%;
  601. max-width:65%;
  602. overflow-y:scroll;
  603. overflow-x:scroll;
  604. white-space:nowrap;
  605. box-shadow: 0 3px 6px rgba(0,0,0,0.16), 0 3px 6px rgba(0,0,0,0.23);
  606. }
  607. ul.ui-autocomplete {
  608. position:fixed;
  609. z-index:999999;
  610. }
  611. ul.ui-autocomplete li {
  612. float:left;
  613. clear:both;
  614. width:100%;
  615. }
  616. .result-highlight {
  617. font-weight:bold;
  618. }
  619. #search-input {
  620. background-image:url('resources/glass.png');
  621. background-size:13px;
  622. background-repeat:no-repeat;
  623. background-position:2px 3px;
  624. padding-left:20px;
  625. position:relative;
  626. right:-18px;
  627. width:400px;
  628. }
  629. #reset-button {
  630. background-color: rgb(255,255,255);
  631. background-image:url('resources/x.png');
  632. background-position:center;
  633. background-repeat:no-repeat;
  634. background-size:12px;
  635. border:0 none;
  636. width:16px;
  637. height:16px;
  638. position:relative;
  639. left:-4px;
  640. top:-4px;
  641. font-size:0px;
  642. }
  643. .watermark {
  644. color:#545454;
  645. }
  646. .search-tag-desc-result {
  647. font-style:italic;
  648. font-size:11px;
  649. }
  650. .search-tag-holder-result {
  651. font-style:italic;
  652. font-size:12px;
  653. }
  654. .search-tag-result:target {
  655. background-color:yellow;
  656. }
  657. .module-graph span {
  658. display:none;
  659. position:absolute;
  660. }
  661. .module-graph:hover span {
  662. display:block;
  663. margin: -100px 0 0 100px;
  664. z-index: 1;
  665. }
  666. .inherited-list {
  667. margin: 10px 0 10px 0;
  668. }
  669. section.class-description {
  670. line-height: 1.4;
  671. }
  672. .summary section[class$="-summary"], .details section[class$="-details"],
  673. .class-uses .detail, .serialized-class-details {
  674. padding: 0px 20px 5px 10px;
  675. border: 1px solid #ededed;
  676. background-color: #f8f8f8;
  677. }
  678. .inherited-list, section[class$="-details"] .detail {
  679. padding:0 0 5px 8px;
  680. background-color:#ffffff;
  681. border:none;
  682. }
  683. .vertical-separator {
  684. padding: 0 5px;
  685. }
  686. ul.help-section-list {
  687. margin: 0;
  688. }
  689. ul.help-subtoc > li {
  690. display: inline-block;
  691. padding-right: 5px;
  692. font-size: smaller;
  693. }
  694. ul.help-subtoc > li::before {
  695. content: "\2022" ;
  696. padding-right:2px;
  697. }
  698. span.help-note {
  699. font-style: italic;
  700. }
  701. /*
  702. * Indicator icon for external links.
  703. */
  704. main a[href*="://"]::after {
  705. content:"";
  706. display:inline-block;
  707. background-image:url('data:image/svg+xml; utf8, \
  708. <svg xmlns="http://www.w3.org/2000/svg" width="768" height="768">\
  709. <path d="M584 664H104V184h216V80H0v688h688V448H584zM384 0l132 \
  710. 132-240 240 120 120 240-240 132 132V0z" fill="%234a6782"/>\
  711. </svg>');
  712. background-size:100% 100%;
  713. width:7px;
  714. height:7px;
  715. margin-left:2px;
  716. margin-bottom:4px;
  717. }
  718. main a[href*="://"]:hover::after,
  719. main a[href*="://"]:focus::after {
  720. background-image:url('data:image/svg+xml; utf8, \
  721. <svg xmlns="http://www.w3.org/2000/svg" width="768" height="768">\
  722. <path d="M584 664H104V184h216V80H0v688h688V448H584zM384 0l132 \
  723. 132-240 240 120 120 240-240 132 132V0z" fill="%23bb7a2a"/>\
  724. </svg>');
  725. }
  726. /*
  727. * Styles for user-provided tables.
  728. *
  729. * borderless:
  730. * No borders, vertical margins, styled caption.
  731. * This style is provided for use with existing doc comments.
  732. * In general, borderless tables should not be used for layout purposes.
  733. *
  734. * plain:
  735. * Plain borders around table and cells, vertical margins, styled caption.
  736. * Best for small tables or for complex tables for tables with cells that span
  737. * rows and columns, when the "striped" style does not work well.
  738. *
  739. * striped:
  740. * Borders around the table and vertical borders between cells, striped rows,
  741. * vertical margins, styled caption.
  742. * Best for tables that have a header row, and a body containing a series of simple rows.
  743. */
  744. table.borderless,
  745. table.plain,
  746. table.striped {
  747. margin-top: 10px;
  748. margin-bottom: 10px;
  749. }
  750. table.borderless > caption,
  751. table.plain > caption,
  752. table.striped > caption {
  753. font-weight: bold;
  754. font-size: smaller;
  755. }
  756. table.borderless th, table.borderless td,
  757. table.plain th, table.plain td,
  758. table.striped th, table.striped td {
  759. padding: 2px 5px;
  760. }
  761. table.borderless,
  762. table.borderless > thead > tr > th, table.borderless > tbody > tr > th, table.borderless > tr > th,
  763. table.borderless > thead > tr > td, table.borderless > tbody > tr > td, table.borderless > tr > td {
  764. border: none;
  765. }
  766. table.borderless > thead > tr, table.borderless > tbody > tr, table.borderless > tr {
  767. background-color: transparent;
  768. }
  769. table.plain {
  770. border-collapse: collapse;
  771. border: 1px solid black;
  772. }
  773. table.plain > thead > tr, table.plain > tbody tr, table.plain > tr {
  774. background-color: transparent;
  775. }
  776. table.plain > thead > tr > th, table.plain > tbody > tr > th, table.plain > tr > th,
  777. table.plain > thead > tr > td, table.plain > tbody > tr > td, table.plain > tr > td {
  778. border: 1px solid black;
  779. }
  780. table.striped {
  781. border-collapse: collapse;
  782. border: 1px solid black;
  783. }
  784. table.striped > thead {
  785. background-color: #E3E3E3;
  786. }
  787. table.striped > thead > tr > th, table.striped > thead > tr > td {
  788. border: 1px solid black;
  789. }
  790. table.striped > tbody > tr:nth-child(even) {
  791. background-color: #EEE
  792. }
  793. table.striped > tbody > tr:nth-child(odd) {
  794. background-color: #FFF
  795. }
  796. table.striped > tbody > tr > th, table.striped > tbody > tr > td {
  797. border-left: 1px solid black;
  798. border-right: 1px solid black;
  799. }
  800. table.striped > tbody > tr > th {
  801. font-weight: normal;
  802. }
  803. /**
  804. * Tweak font sizes and paddings for small screens.
  805. */
  806. @media screen and (max-width: 1050px) {
  807. #search-input {
  808. width: 300px;
  809. }
  810. }
  811. @media screen and (max-width: 800px) {
  812. #search-input {
  813. width: 200px;
  814. }
  815. .top-nav,
  816. .bottom-nav {
  817. font-size: 11px;
  818. padding-top: 6px;
  819. }
  820. .sub-nav {
  821. font-size: 11px;
  822. }
  823. .about-language {
  824. padding-right: 16px;
  825. }
  826. ul.nav-list li,
  827. .sub-nav .nav-list-search {
  828. padding: 6px;
  829. }
  830. ul.sub-nav-list li {
  831. padding-top: 5px;
  832. }
  833. main {
  834. padding: 10px;
  835. }
  836. .summary section[class$="-summary"], .details section[class$="-details"],
  837. .class-uses .detail, .serialized-class-details {
  838. padding: 0 8px 5px 8px;
  839. }
  840. body {
  841. -webkit-text-size-adjust: none;
  842. }
  843. }
  844. @media screen and (max-width: 500px) {
  845. #search-input {
  846. width: 150px;
  847. }
  848. .top-nav,
  849. .bottom-nav {
  850. font-size: 10px;
  851. }
  852. .sub-nav {
  853. font-size: 10px;
  854. }
  855. .about-language {
  856. font-size: 10px;
  857. padding-right: 12px;
  858. }
  859. }