body { margin: 1em 5% 1em 5%; font-family: "lucida sans unicode", "lucida grande"; } h1 { color: #2461AA; border-bottom: 2px solid #C3D9FF } h2 { color: #2461AA; font-size: 14pt; margin: 0px; margin-top: 1em; margin-bottom: 1em; border-bottom: 1px solid #C3D9FF } h3 { font-size: 12pt; color: #2461AA; margin: 0px; margin-top: 1em; margin-bottom: 1em; } ul { list-style-type: square } .contents { float: right } .key { font-style: italic } .file { font-family: monospace; } .setting { font-family: monospace; } .command { font-family: monospace; } .menu { font-style: italic; } .settings { border-spacing: 8px 8px; } .settings td { vertical-align: top; border-spacing: 8px 8px; } .code { background-color: #d3e9ff; border: 1px solid #C3D9FF; } .outdated { background-color: #f48c25; color: white; padding: 0.6em; margin: 1em 0; border-radius: 2px; } .outdated a { color: white; opacity: 0.9; }