html {
  height: 100%; }

label {
  display: block;
  font-weight: bold;
  font-size: 80%; }

form {
  padding: 1em;
  background-color: #f1f1f1;
  width: 50%;
  border: 1px dotted #dddddd; }
  form input[type='submit'] {
    display: block;
    margin-top: 1em; }
  form .short label {
    display: inline; }
  form .important {
    background-color: #bbbbff;
    padding: 0.5em;
    margin: 0.5em 0; }

.clear {
  clear: both; }

.flash {
  font-size: 150%;
  border: 1px dotted #dddddd;
  background-color: #f1f1f1;
  padding: 0.5em;
  margin-bottom: 0.5em; }

#navigation {
  margin-bottom: 2em;
  padding-left: 0; }
  #navigation li {
    float: left;
    list-style-type: none; }

@font-face {
  font-family: "REMOTE";
  src: url(/auto/Auto1-Regular.ttf) format("truetype"); }

@font-face {
  font-family: "REMOTE";
  src: url(/auto/Auto1-Bold.ttf) format("truetype");
  font-weight: bold; }

@font-face {
  font-family: "REMOTE";
  src: url(/auto/Auto1-Italic.ttf) format("truetype");
  font-style: italic; }

@font-face {
  font-family: "REMOTE";
  src: url(/auto/Auto1-BoldItalic.ttf) format("truetype");
  font-weight: bold;
  font-style: italic; }

@font-face {
  font-family: "REMOTEBOLD";
  src: url(/auto/Auto1-Black.ttf) format("truetype"); }

body {
  font-family: "REMOTE", "Auto 1", "Trebuchet MS", "Trebuchet", "Tahoma";
  background-color: #dddddd;
  margin: 0;
  min-height: 100%;
  height: 100%; }

a[href] {
  text-decoration: none;
  color: blue;
  border-bottom: 1px dotted #bbbbff; }
  a[href]:hover {
    border-bottom: 1px solid blue; }

#u {
  width: 40em;
  margin: 0 auto;
  background-color: white;
  padding: 0 1em;
  border-width: 0 1px;
  border-style: solid;
  border-color: #aaaaaa;
  min-height: 100%; }

#butseriouslyfolks {
  padding: 1em 0; }

#header {
  font-family: "REMOTEBOLD", "Auto 1", "Trebuchet MS", "Trebuchet";
  font-size: 250%;
  display: block;
  text-decoration: none;
  color: inherit;
  font-weight: 900;
  border: 0; }
  #header img {
    float: left;
    border: 0; }
  #header div {
    float: left;
    margin: 35px 0 0 0.5em; }

#session {
  float: right;
  font-size: 80%; }
  #session * {
    margin-left: 0.5em; }

#premise {
  font-size: 150%; }

.message {
  padding-bottom: 0.5em;
  border-top: 1px solid #dddddd;
  padding-top: 0.5em; }