<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* 
 * Copyright Â©2014 Free Software Foundation
 * 51 Franklin St, Fifth Floor, Boston, MA 02110, USA
 *
 * Permission is hereby granted, free of charge, to any person
 * obtaining a copy of this software and associated documentation
 * files (the "Software"), to deal in the Software without restriction,
 * including, without limitation, the rights to use, copy, modify,
 * merge, publish, distribute, sublicense, and sell copies of
 * the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 * 
 * The above copyright notice and this permission notice shall be
 * included in all copies, or substantial portions, of the Software;
 *
 * THE SOFTWARE IS PROVIDED "AS IS," WITHOUT WARRANTY OF ANY KIND,
 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
 * OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, AND
 * NONINFRINGEMENT.  IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
 * HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES, OR OTHER LIABILITY,
 * WHETHER IN AN ACTION OF CONTRACT, TORT, OR OTHERWISE, ARISING
 * FROM, OUT OF, OR IN CONNECTION WITH, THE SOFTWARE, OR THE USE OF,
 * OR OTHER DEALINGS IN, THE SOFTWARE.
 */

html, body { 
  background-color: #fdeeda; 
  color: #000000;
}

a:link { 
  color: #1339b4; 
  background-color: transparent;
  text-decoration: underline;
}

a:visited { 
  color: #550066; 
  background-color: transparent;
  text-decoration: underline;
}

a:hover { 
  color: #9900dd; 
  background-color: transparent;
  text-decoration: none;
}

.centre {
  text-align: center;
}

.italic { 
   font-style: italic; 
}

.bold {
  font-weight: bold;
}

.translations {
  background-color: transparent; 
  color: black;
  font-family: serif;
  font-size: smaller;
}

img {
  border: none 0;
}

p.body {
  margin-top: -.5em;
}

p.copyright {
  line-height: 100%;
  margin-top: -.5em;
}

hr {
  clear: left;
  border: none;
  color: #640d04;
  background-color: #640d04;
  height: 1px;
}

h1.banner {
  margin-top: .1em;
  margin-bottom: .3em;
  font-family: Cardo, serif;
  font-size: 235%;
  line-height: 100%;
  color: #781a00;
}

h2.toc {
  margin-top: 1%;
  padding: 0;
  font-family: Raleway, sans-serif;
  font-style: bold;
  font-size: 110%;
  letter-spacing: .25px;
  color: #250800;
}

h3 {
  font-family: Raleway, sans-serif;
  font-size: 110%;
  color: #240800;
}

h3#introduction {
  margin-top: .75em;
}

h4 {
  margin-top: -.25em;
  font-family: Raleway, sans-serif;
  font-size: 98%;
}

h4#binaries {
  margin-left: 1em;
}

ul.toc {
  margin-top: -.75em;
  padding-left: 1.5%;
  font-family: "DejaVu Sans", "Bitstream Vera Sans", Helvetica, Arial, sans-serif;
  font-size: 95%;
  line-height: 133%;
  list-style: none;
}

ul {
  margin-top: -.5em;
}

ul.binaries {
  margin-top: -1em;
  margin-left: 1em;
  padding-left: 1.5em;
}

kbd.help {
  font-weight: bold;
}

dd.help {
  margin-left: 1em;
}

div.main {
  margin-top:  25px;
  margin-left: 12%;
  margin-right: 12%;
  font-family: "DejaVu Sans", "Bitstream Vera Sans", Helvetica, Arial, sans-serif;
  font-size: 95%;
  line-height: 140%;
  color: #140d04;
}

div.body {
  margin-left: .75em;
  margin-right: .75em;
  clear: left;
} 

div.toc {
  width: 25%;
  float: left;
  margin-left: .75em; 
  font-size: 2vmin;
  line-height: 3vmin
}

div.notifications {
  position: relative;
  width: auto;
  margin-top: 1.8vh;
  margin-bottom: 2vh;
  margin-left: 30%;
  margin-right: 2%;
  padding-top: .5%;
  padding-bottom: .5%;
  padding-left: 1%;
  padding-right: 1%;
  border: thin solid #881a00; 
  font-family: "DejaVu Sans", "Bitstream Vera Sans", Helvetica, Arial, sans-serif;
  font-style: italic;
  font-size: 1.75vmin; 
  line-height: 2.3vh;
  color: #0f0a03;
}

div.col-left {
  margin-top: -1em;
  width: 45%;
  float: left;
}

div.col-right {
  position: relative;
  margin-right: 12%;
  left: 10%;
  width: auto;
}

div.copyright {
  margin-bottom: 3%;
  padding-left: 1%;
  padding-right: 1%;
  border: thin solid #640d04;
  font-size: 80%; 
  line-height: 120%;
}
/*
 * mkern: minus kern
 * pkern: plus kern
*/
span.mkern-25 {
  letter-spacing: -.25px
}
span.mkern-5 {
  letter-spacing: -.5px
}
span.mkern1 {
  letter-spacing: -1px
}
span.mkern3 {
  letter-spacing: -3px
}
span.mkern5 {
  letter-spacing: -5px
}
span.pkern1 {
  letter-spacing: 1px
}
span.pkern2 {
  letter-spacing: 2px
}
span.pkern8 {
  letter-spacing: 8px
}
</pre></body></html>