1/*** 2 This file is part of PulseAudio. 3 4 PulseAudio is free software; you can redistribute it and/or modify it under 5 the terms of the GNU General Public License as published by the Free 6 Software Foundation; either version 2 of the License, or (at your 7 option) any later version. 8 9 PulseAudio is distributed in the hope that it will be useful, but WITHOUT 10 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 11 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 12 for more details. 13 14 You should have received a copy of the GNU General Public License 15 along with PulseAudio; if not, see <http://www.gnu.org/licenses/>. 16***/ 17 18body { color: black; background-color: white; } 19a:link, a:visited { color: #900000; } 20h1 { text-transform:uppercase; font-size: 18pt; } 21p { margin-left:1cm; margin-right:1cm; } 22.cmd { font-family:monospace; } 23.file { font-family:monospace; } 24.arg { text-transform:uppercase; font-family:monospace; font-style: italic; } 25.opt { font-family:monospace; font-weight: bold; } 26.manref { font-family:monospace; } 27.option .optdesc { margin-left:2cm; } 28