1 /* This Source Code Form is subject to the terms of the Mozilla Public
2 * License, v. 2.0. If a copy of the MPL was not distributed with this
3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
117 font-family: monospace
;
145 font-family: monospace
;
204 font-family: monospace
;
258 text-decoration: underline
;
267 font-family: monospace
;
286 font-family: monospace
;
294 list-style-type: decimal
;
330 font-family: monospace
;
351 font-family: monospace
;
357 font-family: monospace
;
361 font-family: Times
, New
, Roman
;
433 RefSynopsisDiv Title
{
502 SegmentedList Title
{
539 vertical-align: super
;
548 font-family: monospace
;
584 text-decoration: underline
;
589 font-family: monospace
;