button, input[type="button"], input[type="reset"], input[type="submit"] { appearance: none; background-color: #076aa7; border: 0; border-radius: 3px; color: #fff; cursor: pointer; display: inline-block; font-family: "inconsolata", courier; font-size: 1rem; -webkit-font-smoothing: antialiased; font-weight: 600; line-height: 1; padding: 0.75em 1.5em; text-decoration: none; transition: background-color 150ms ease; user-select: none; vertical-align: middle; white-space: nowrap; }
button:hover, button:focus, input[type="button"]:hover, input[type="button"]:focus, input[type="reset"]:hover, input[type="reset"]:focus, input[type="submit"]:hover, input[type="submit"]:focus { background-color: #065586; color: #fff; }
button:disabled, input[type="button"]:disabled, input[type="reset"]:disabled, input[type="submit"]:disabled { cursor: not-allowed; opacity: 0.5; }
button:disabled:hover, input[type="button"]:disabled:hover, input[type="reset"]:disabled:hover, input[type="submit"]:disabled:hover { background-color: #076aa7; }

fieldset { background-color: transparent; border: 0; margin: 0; padding: 0; }

legend { font-weight: 600; margin-bottom: 0.375em; padding: 0; }

label { display: block; font-weight: 600; margin-bottom: 0.375em; }

input, select { display: block; font-family: "inconsolata", courier; font-size: 1rem; }

input[type="color"], input[type="date"], input[type="datetime"], input[type="datetime-local"], input[type="email"], input[type="month"], input[type="number"], input[type="password"], input[type="search"], input[type="tel"], input[type="text"], input[type="time"], input[type="url"], input[type="week"], input:not([type]), textarea, select[multiple] { background-color: #1e1e1e; border: 1px solid #cccbcb; border-radius: 3px; box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.06); box-sizing: border-box; font-family: "inconsolata", courier; font-size: 1rem; margin-bottom: 0.75em; padding: 0.5em; transition: border-color 150ms ease; width: 100%; }
input[type="color"]:hover, input[type="date"]:hover, input[type="datetime"]:hover, input[type="datetime-local"]:hover, input[type="email"]:hover, input[type="month"]:hover, input[type="number"]:hover, input[type="password"]:hover, input[type="search"]:hover, input[type="tel"]:hover, input[type="text"]:hover, input[type="time"]:hover, input[type="url"]:hover, input[type="week"]:hover, input:not([type]):hover, textarea:hover, select[multiple]:hover { border-color: #a3a2a2; }
input[type="color"]:focus, input[type="date"]:focus, input[type="datetime"]:focus, input[type="datetime-local"]:focus, input[type="email"]:focus, input[type="month"]:focus, input[type="number"]:focus, input[type="password"]:focus, input[type="search"]:focus, input[type="tel"]:focus, input[type="text"]:focus, input[type="time"]:focus, input[type="url"]:focus, input[type="week"]:focus, input:not([type]):focus, textarea:focus, select[multiple]:focus { border-color: #076aa7; box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.06), 0 0 5px rgba(6, 90, 143, 0.7); outline: none; }
input[type="color"]:disabled, input[type="date"]:disabled, input[type="datetime"]:disabled, input[type="datetime-local"]:disabled, input[type="email"]:disabled, input[type="month"]:disabled, input[type="number"]:disabled, input[type="password"]:disabled, input[type="search"]:disabled, input[type="tel"]:disabled, input[type="text"]:disabled, input[type="time"]:disabled, input[type="url"]:disabled, input[type="week"]:disabled, input:not([type]):disabled, textarea:disabled, select[multiple]:disabled { background-color: #1d1d1d; cursor: not-allowed; }
input[type="color"]:disabled:hover, input[type="date"]:disabled:hover, input[type="datetime"]:disabled:hover, input[type="datetime-local"]:disabled:hover, input[type="email"]:disabled:hover, input[type="month"]:disabled:hover, input[type="number"]:disabled:hover, input[type="password"]:disabled:hover, input[type="search"]:disabled:hover, input[type="tel"]:disabled:hover, input[type="text"]:disabled:hover, input[type="time"]:disabled:hover, input[type="url"]:disabled:hover, input[type="week"]:disabled:hover, input:not([type]):disabled:hover, textarea:disabled:hover, select[multiple]:disabled:hover { border: 1px solid #cccbcb; }

textarea { resize: vertical; }

[type="search"] { appearance: none; }

[type="checkbox"], [type="radio"] { display: inline; margin-right: 0.375em; }

[type="file"] { margin-bottom: 0.75em; width: 100%; }

select { margin-bottom: 1.5em; max-width: 100%; width: auto; }

ul, ol { list-style-type: none; margin: 0; padding: 0; }
ul li, ol li { margin-bottom: 0.75em; }

dl { margin-bottom: 0.75em; }
dl dt { font-weight: 600; margin-top: 0.75em; }
dl dd { margin: 0; }

table { border-collapse: collapse; margin: 0.75em 0; table-layout: fixed; width: 100%; }

th { border-bottom: 1px solid #999898; font-weight: 600; padding: 0.75em 0; text-align: left; }

td { border-bottom: 1px solid #cccbcb; padding: 0.75em 0; }

tr, td, th { vertical-align: middle; }

html { font-size: 18px; }

body { background-color: #1e1e1e; color: #b0b0b0; font-family: "inconsolata", courier; font-size: 1rem; line-height: 1.5; }

h1, h2, h3, h4, h5, h6 { font-family: "inconsolata", courier; font-size: 1rem; line-height: 1.2; margin: 0 0 0.75em; }

p { margin: 0 0 0.75em; }

a { color: #076aa7; text-decoration: none; }
a:active, a:focus, a:hover { background-color: #d27e19; color: #1e1e1e; }

hr { border-bottom: 1px solid #cccbcb; border-left: 0; border-right: 0; border-top: 0; margin: 1.5em 0; }

img, picture { margin: 0; max-width: 100%; }

blockquote { border-left: 1px solid #cccbcb; font-style: italic; margin: 0; padding: 0 0 0 20px; }

code, pre { background-color: #d8d8d8; color: #1e1e1e; font-family: Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal; font-size: 12px; }

code { padding-right: 0.375em; padding-left: 0.375em; }

pre { border-radius: 5px; border: 1px solid #cccbcb; overflow-x: auto; padding: 8px 15px; }

main { margin: 0 auto; overflow: auto; padding-bottom: 6em; padding-left: 0.75em; padding-right: 0.75em; max-width: 700px; }

.emacs-logo { margin-top: 0.75em; margin-bottom: 0.75em; height: 147px; width: 350px; }
.emacs-logo .emacs-logo-fallback { display: none; }
.no-inlinesvg .emacs-logo svg { display: none; }
.no-inlinesvg .emacs-logo .emacs-logo-fallback { display: block; }

.emacs-logo-background { fill: #292929; }

.emacs-logo-ACE { fill: #076aa7; }

.emacs-logo-font { fill: white; }

.emacs-logo-M { fill: #f7941d; }

.emacs-logo-S { fill: #807f7f; }

.emacs-logo-S-fold { fill: #cccbcb; }

.main-nav { position: fixed; right: 0; bottom: 0; left: 0; background-color: #bf5f60; }
.main-nav li { display: inline-block; margin-bottom: 0; }
.main-nav a { padding-right: 0.75em; padding-left: 0.75em; color: #1e1e1e; }
.main-nav a:active, .main-nav a:focus, .main-nav a:hover { background-color: #1e1e1e; color: #b0b0b0; }