/* ...


*/
#captcha {
	margin: .5em 0 .5em 0;
	font-size: 13px;
}
 
#captcha_answer {
	margin-left: .5em;
}
 
.captcha_failed input {
	border-style: inset;
	border-color: red;
	border-width: 3px;
}
/* line 1, app/assets/stylesheets/display.scss */
body {
  margin: 0;
  padding: 0;
  background: #d7d7d7;
  font-family: Arial, Helvetica, sans-serif;
}

/* line 9, app/assets/stylesheets/display.scss */
a {
  color: #24b;
}

/* line 11, app/assets/stylesheets/display.scss */
#container {
  width: 92%;
  margin: 0 auto;
  min-width: 760px;
}

/* line 18, app/assets/stylesheets/display.scss */
#content {
  margin: 1em 0;
  width: 70%;
  background: white;
  padding: 25px;
  border: 5px solid #bbb;
  border-width: 0 5px 5px 0;
  float: left;
  min-width: 425px;
  min-height: 165px;
}

/* line 31, app/assets/stylesheets/display.scss */
#right {
  margin-top: 1em;
  float: left;
  width: 19%;
  font-family: 'Lucida Grande', 'Trebuchet MS', Arial, Helvetica, sans-serif;
  margin-left: 1.25em;
  margin-left: 3%;
  margin-right: 0;
}

/* line 42, app/assets/stylesheets/display.scss */
#right p {
  font-size: 0.75em;
}

/* line 46, app/assets/stylesheets/display.scss */
#right a.hidden {
  color: black;
  text-decoration: none;
  border-bottom: 1px solid #999;
}

/* line 47, app/assets/stylesheets/display.scss */
#right a.hidden:hover {
  color: blue;
  text-decoration: none;
  border-bottom: 1px solid #963;
}

/* line 49, app/assets/stylesheets/display.scss */
#right p.help {
  font-weight: normal;
  font-size: 0.75em;
}

/* line 55, app/assets/stylesheets/display.scss */
#footer {
  margin: 0 auto;
  margin-bottom: 1em;
  font-family: 'Lucida Grande', Tahoma, Arial, Helvetica, sans-serif;
  font-size: 0.75em;
  color: #333;
  margin-left: 3%;
  width: 67%;
  min-width: 545px;
  padding: 0px 15px;
  margin-bottom: 3.5em;
}

/* line 71, app/assets/stylesheets/display.scss */
#content form {
  margin-bottom: 0;
}

/* line 73, app/assets/stylesheets/display.scss */
#content p.subtle {
  margin: 0 0 0.5em;
  float: right;
}

/* line 77, app/assets/stylesheets/display.scss */
#content .subtle a {
  color: #999;
  font-size: 0.7em;
}

/* line 83, app/assets/stylesheets/display.scss */
#header {
  background: #111;
  padding: 10px 4%;
  border-bottom: 3px solid #999;
}

/* line 90, app/assets/stylesheets/display.scss */
#search_box {
  font-size: 0.85em;
}

/* line 94, app/assets/stylesheets/display.scss */
img {
  border-width: 0;
}

/* line 96, app/assets/stylesheets/display.scss */
p.pages {
  xfloat: right;
  font-size: 0.85em;
  margin-top: 1.2em;
}

/* line 103, app/assets/stylesheets/display.scss */
span.pipe {
  color: #999;
  margin: 0 0.15em;
}

/* line 109, app/assets/stylesheets/display.scss */
div.news {
  background: #cfc;
  text-align: center;
  margin: 0 auto;
  width: 40em;
  margin-top: 1em;
  padding: 7px 15px;
  font-size: 0.7em;
  font-weight: bold;
}

/* line 120, app/assets/stylesheets/display.scss */
div.news p {
  margin: 0;
}

/* line 122, app/assets/stylesheets/display.scss */
p.notice,
p.sections {
  background: #df9;
  padding: 7px 15px;
  border: 1px solid #bd7;
  margin-top: 0;
  font-size: 0.8em;
}

/* line 132, app/assets/stylesheets/display.scss */
p.error {
  background: #c00;
  color: white;
}

/* line 140, app/assets/stylesheets/display.scss */
p.sections a.action {
  color: #c00;
}

/* line 142, app/assets/stylesheets/display.scss */
.hasfile {
  color: #090;
  font-weight: bold;
  margin-left: 10em;
}

/* line 149, app/assets/stylesheets/display.scss */
h1, h2, h3, h4, h5, h6 {
  font-family: 'Lucida Grande', 'Trebuchet MS', Arial, Helvetica, sans-serif;
}

/* line 154, app/assets/stylesheets/display.scss */
h1 {
  font-size: 1.3em;
}

/* line 158, app/assets/stylesheets/display.scss */
h1 img {
  vertical-align: middle;
}

/* line 160, app/assets/stylesheets/display.scss */
p.subtitle {
  font-family: 'Lucida Grande', Tahoma, Arial, Helvetica, sans-serif;
  font-size: 0.75em;
  color: #888;
  font-weight: bold;
  margin-top: -0.8em;
}

/* line 168, app/assets/stylesheets/display.scss */
p.subtitle img {
  vertical-align: bottom;
}

/* line 170, app/assets/stylesheets/display.scss */
h1 span {
  font-size: 0.7em;
  color: #999;
  font-weight: normal;
  padding-left: 1em;
}

/* line 172, app/assets/stylesheets/display.scss */
h2 {
  font-size: 1.0em;
}

/* line 175, app/assets/stylesheets/display.scss */
h2 span {
  color: #999;
  font-size: 0.7em;
  margin-left: 1em;
}

/* line 182, app/assets/stylesheets/display.scss */
h3 {
  padding: 2px 10px 3px;
  background: #333;
  color: white;
  font-size: 0.70em;
  border-bottom: 1px solid #999;
  font-family: 'Lucida Grande', Tahoma, Arial, Helvetica, sans-serif;
}

/* line 192, app/assets/stylesheets/display.scss */
h6 {
  margin-bottom: 0;
}

/* line 194, app/assets/stylesheets/display.scss */
pre.explain {
  background: #e7e7e7;
  padding: 7px 15px;
  border: 1px solid #ccc;
  margin: 0 2em;
}

/* line 202, app/assets/stylesheets/display.scss */
hr {
  height: 0;
  border: 0;
  border-bottom: 1px solid #ccc;
  margin: 1em 0;
}

/* line 210, app/assets/stylesheets/display.scss */
#right hr {
  border-color: #bbb;
}

/* line 212, app/assets/stylesheets/display.scss */
#monitor_topic {
  font-size: 12px;
}

/* line 215, app/assets/stylesheets/display.scss */
#monitor_topic .icon {
  background-image: none;
}

/* footer */
/* line 221, app/assets/stylesheets/display.scss */
#footer p {
  margin: 0;
}

/* line 223, app/assets/stylesheets/display.scss */
#footer p.credit {
  float: right;
  text-align: right;
}

/* line 228, app/assets/stylesheets/display.scss */
#footer p.credit a.subtle {
  color: #333;
}

/* line 232, app/assets/stylesheets/display.scss */
#footer p.legal {
  float: left;
  margin-right: 1.5em;
}

/* line 238, app/assets/stylesheets/display.scss */
#footer p.disclaim {
  float: left;
  color: #080;
}

/* line 244, app/assets/stylesheets/display.scss */
ul.quotes,
ul.flat {
  margin-left: 0;
  padding-left: 0;
  font-size: 0.75em;
  list-style-type: none;
}

/* line 252, app/assets/stylesheets/display.scss */
ul.talking li span {
  color: #666;
  font-size: 0.8em;
}

/* line 258, app/assets/stylesheets/display.scss */
ul.flat li {
  background: url(/assets/small_circle-83886373ddf54a0d6b0c181eae3e3afd0bf571219b915f5ec3c9a5802d390456.gif) no-repeat 5px 6px;
  padding-left: 15px;
}

/* line 263, app/assets/stylesheets/display.scss */
ul.ways li span {
  color: #666;
  font-size: 0.9em;
}

/* line 269, app/assets/stylesheets/display.scss */
ul.quotes {
  font-size: 0.8em;
}

/* line 273, app/assets/stylesheets/display.scss */
ul.quotes li {
  margin-bottom: 1em;
}

/* line 274, app/assets/stylesheets/display.scss */
ul.quotes span {
  color: #666;
  font-size: 0.9em;
}

/* line 281, app/assets/stylesheets/display.scss */
ul.why {
  font-family: 'Lucida Grande', Arial, Helvetica, sans-serif;
  font-size: 1em;
  line-height: 1.25em;
  margin-top: 2em;
}

/* line 288, app/assets/stylesheets/display.scss */
ul.why li p {
  margin-top: 0.5em;
  color: #666;
  font-size: 0.9em;
}

/* line 294, app/assets/stylesheets/display.scss */
ul.why li p strong {
  color: #c00;
}

/* line 296, app/assets/stylesheets/display.scss */
a.utility {
  font-weight: normal;
  color: #c00;
  font-size: 0.8em;
}

/* line 302, app/assets/stylesheets/display.scss */
a.remove {
  color: #c00;
}

/* line 303, app/assets/stylesheets/display.scss */
a.utility:hover {
  color: #c00;
  text-decoration: underline;
}

/* line 308, app/assets/stylesheets/display.scss */
a.subtle {
  color: #369;
}

/* line 309, app/assets/stylesheets/display.scss */
a.subtle:hover {
  color: blue;
}

/* line 311, app/assets/stylesheets/display.scss */
div.asset {
  background: #e7e7e7;
  padding: 7px 15px;
  border-bottom: 1px solid #ccc;
  font-family: 'Lucida Grande',Tahoma, Arial, Helvetica, sans-serif;
  font-size: 0.8em;
  margin-bottom: 1em;
  text-align: center;
}

/* line 322, app/assets/stylesheets/display.scss */
input.primary {
  font-size: 1.2em;
}

/* line 328, app/assets/stylesheets/display.scss */
input.submit {
  margin-right: 1em;
  float: right;
}

/* layout of paste */
/* line 336, app/assets/stylesheets/display.scss */
.pastebox {
  width: 100%;
}

/* line 341, app/assets/stylesheets/display.scss */
p.private,
#content .legend {
  margin-top: 0;
  color: #999;
  font-size: 0.8em;
}

/* line 348, app/assets/stylesheets/display.scss */
#content .legend span strong {
  color: black;
}

/* line 349, app/assets/stylesheets/display.scss */
#content .legend span {
  margin-right: 5em;
}

/* line 354, app/assets/stylesheets/display.scss */
p.private img {
  vertical-align: bottom;
}

/* line 355, app/assets/stylesheets/display.scss */
p.private {
  xcolor: white;
  color: #c00;
  font-weight: bold;
}

/* line 361, app/assets/stylesheets/display.scss */
p.psmall {
  font-size: 0.7em;
  font-weight: normal;
}

/* line 366, app/assets/stylesheets/display.scss */
div.upload {
  margin-top: -0.5em;
  xbackground: #e7e7e7;
  padding: 7px 0;
  float: left;
  width: 63%;
  margin-left: 0.5em;
}

/* line 375, app/assets/stylesheets/display.scss */
div.upload p label {
  font-size: 0.7em;
  font-weight: bold;
}

/* line 376, app/assets/stylesheets/display.scss */
div.upload p {
  margin: 0;
}

/* line 377, app/assets/stylesheets/display.scss */
div.upload input {
  margin-left: 0.75em;
}

/* line 378, app/assets/stylesheets/display.scss */
div.upload a {
  color: #666;
  font-size: 0.8em;
}

/* line 384, app/assets/stylesheets/display.scss */
.pastePreview pre {
  font-size: 0.9em;
}

/* line 386, app/assets/stylesheets/display.scss */
.pastePreview p {
  color: #777;
  font-size: 0.7em;
  margin: 0 0 0.5em;
}

/* line 393, app/assets/stylesheets/display.scss */
.pastePreview .when {
  float: right;
}

/* line 394, app/assets/stylesheets/display.scss */
.pastePreview .when strong {
  color: black;
}

/* line 396, app/assets/stylesheets/display.scss */
p {
  font-family: 'Lucida Grande', 'Trebuchet MS', Arial, Helvetica, sans-serif;
}

/* line 402, app/assets/stylesheets/display.scss */
#news {
  background: #248;
  background: #475f30;
  border: 2px solid #778f60;
  border-width: 2px 0;
  padding: 5px 4%;
  color: #ffc;
  font-size: 0.70em;
  text-align: center;
  position: fixed;
  bottom: 0;
  width: 100%;
  padding: 6px 0 7px;
  z-index: 50;
}

/* line 419, app/assets/stylesheets/display.scss */
#news a.subtle {
  color: #ffc;
  font-weight: normal;
}

/* line 420, app/assets/stylesheets/display.scss */
#news a {
  color: gold;
  font-weight: bold;
}

/* line 421, app/assets/stylesheets/display.scss */
#news p {
  margin: 0;
}

/* line 424, app/assets/stylesheets/display.scss */
#header img {
  vertical-align: bottom;
  margin-right: 0.25em;
}

/* line 430, app/assets/stylesheets/display.scss */
#header h1,
#header h1 a {
  font-weight: normal;
  margin: 0;
  color: #cf4;
  border: 0;
  text-decoration: none;
}

/* line 440, app/assets/stylesheets/display.scss */
#header h1 .count {
  color: #ddd;
  font-size: 0.6em;
  font-weight: normal;
  padding-left: 1em;
}

/* line 448, app/assets/stylesheets/display.scss */
#header ul#nav {
  float: right;
  list-style-type: none;
  margin: 0;
  margin-top: 0.4em;
}

/* line 456, app/assets/stylesheets/display.scss */
#header ul#nav li {
  color: gold;
  font-family: 'Lucida Grande', Verdana, Arial, Helvetica, sans-serif;
  font-size: 0.7em;
  float: left;
  margin-left: 2em;
}

/* line 465, app/assets/stylesheets/display.scss */
#header ul#nav li a {
  display: block;
  float: left;
  xcolor: #a86;
  color: #9c6;
  xpadding: 3px 1em;
}

/* line 474, app/assets/stylesheets/display.scss */
#header ul#nav li.login a {
  color: gold;
  text-decoration: none;
}

/* line 479, app/assets/stylesheets/display.scss */
#header ul#nav li.active a {
  font-weight: bold;
  xbackground: #222;
  color: #ca8;
}

/* line 486, app/assets/stylesheets/display.scss */
#header ul#nav li.hot a {
  color: orange;
}

/* line 490, app/assets/stylesheets/display.scss */
#header ul#nav li.logout a {
  color: #ddd;
}

/* line 495, app/assets/stylesheets/display.scss */
a.filter {
  color: #ae8;
  font-weight: normal;
}

/* line 501, app/assets/stylesheets/display.scss */
.line_numbers,
.lineNumbers {
  color: #999;
  padding-right: 0.5em;
  text-align: right;
}

/* line 508, app/assets/stylesheets/display.scss */
.line_numbers strong {
  color: #555;
}

/* line 510, app/assets/stylesheets/display.scss */
td.code,
.thePaste {
  padding-left: 0.75em;
}

/* line 517, app/assets/stylesheets/display.scss */
label {
  font-family: 'Lucida Grande', Tahoma, Arial, Helvetica, sans-serif;
  color: #666;
  font-size: 0.75em;
  font-weight: normal;
}

/* random */
/* line 527, app/assets/stylesheets/display.scss */
.photo {
  background: #888;
  border: 3px solid #888;
}

/* line 533, app/assets/stylesheets/display.scss */
.smallutils {
  xfloat: right;
  margin-top: -0.5em;
  margin-bottom: 0em;
  text-align: right;
}

/* line 540, app/assets/stylesheets/display.scss */
.smallutils a {
  color: #666;
  font-size: 0.7em;
}

/* line 545, app/assets/stylesheets/display.scss */
.smallutils a:hover {
  color: #369;
}

/* tables */
/* line 550, app/assets/stylesheets/display.scss */
table.noborder td {
  border: 0;
}

/* line 555, app/assets/stylesheets/display.scss */
table.nopad td {
  padding-left: 0;
}

/* line 560, app/assets/stylesheets/display.scss */
table {
  border-spacing: 0;
  border-collapse: collapse;
  font-family: 'Lucida Grande', Tahoma, Arial, Helvetica, sans-serif;
}

/* line 566, app/assets/stylesheets/display.scss */
table.wide {
  width: 100%;
}

/* line 567, app/assets/stylesheets/display.scss */
table tr th {
  background: #333;
  color: white;
  font-size: 0.8em;
  padding: 3px 10px;
  border: 1px solid #222;
}

/* line 575, app/assets/stylesheets/display.scss */
table tr td {
  padding: 7px;
  border: 1px solid #ddd;
}

/* topics */
/* line 583, app/assets/stylesheets/display.scss */
#forum_description,
#topic_body {
  width: 99%;
}

/* specific table styles */
/* line 591, app/assets/stylesheets/display.scss */
table.forums,
table.topics {
  font-size: 0.8em;
  clear: right;
}

/* line 594, app/assets/stylesheets/display.scss */
table.forums tr th {
  font-size: 0.8em;
}

/* line 595, app/assets/stylesheets/display.scss */
table.forums tr td .title {
  font-size: 1.4em;
}

/* line 599, app/assets/stylesheets/display.scss */
table.forums tr td .desc {
  margin: 0.5em 0;
}

/* line 602, app/assets/stylesheets/display.scss */
table.forums tr td {
  padding: 4px 15px;
}

/* line 606, app/assets/stylesheets/display.scss */
table.forums a.tiny {
  font-size: 0.8em;
  color: #666;
}

/* line 612, app/assets/stylesheets/display.scss */
table.forums .posts {
  font-family: 'Lucida Grande', Tahoma, Arial, Helvetica, sans-serif;
  color: #666;
  font-size: 0.8em;
}

/* line 619, app/assets/stylesheets/display.scss */
table tr th.la {
  text-align: left;
}

/* line 620, app/assets/stylesheets/display.scss */
table tr td.ca {
  text-align: center;
}

/* line 621, app/assets/stylesheets/display.scss */
table tr td.inv {
  background: #eee;
}

/* line 622, app/assets/stylesheets/display.scss */
table tr td.vat {
  vertical-align: top;
}

/* line 624, app/assets/stylesheets/display.scss */
table tr td.narrow {
  padding: 2px 5px;
}

/* users */
/* line 628, app/assets/stylesheets/display.scss */
a.admin {
  color: #c00;
  font-weight: bold;
}

/* last post */
/* line 635, app/assets/stylesheets/display.scss */
table tr td.lp {
  font-size: 0.85em;
  color: #333;
}

/* line 638, app/assets/stylesheets/display.scss */
table tr td.lp span {
  color: #666;
}

/* line 639, app/assets/stylesheets/display.scss */
table tr td.lp span a {
  color: #369;
}

/* line 641, app/assets/stylesheets/display.scss */
table.topics tr td.c1 {
  border-right: 0;
  padding-right: 2px;
}

/* line 643, app/assets/stylesheets/display.scss */
table.topics tr td.c2 {
  border-left: 0;
  padding-left: 2px;
}

/* line 647, app/assets/stylesheets/display.scss */
table.topics tr td.c3 {
  border-left: 0;
}

/* line 649, app/assets/stylesheets/display.scss */
table.forums tr td.c1 {
  border-right: 0;
  padding-right: 5px;
  padding-top: 7px;
}

/* line 650, app/assets/stylesheets/display.scss */
table.forums tr td.c2 {
  border-width: 1px 0;
  padding-left: 5px;
}

/* line 651, app/assets/stylesheets/display.scss */
table.forums tr td.c3 {
  border-left: 0;
  padding-left: 5px;
}

/* line 654, app/assets/stylesheets/display.scss */
table.topics tr td.c2 small a,
.crumbs small a {
  color: #666;
}

/* line 657, app/assets/stylesheets/display.scss */
table.topics tr td.stat {
  font-size: 0.9em;
}

/* line 659, app/assets/stylesheets/display.scss */
table.topics tr td .flag {
  background: #333;
  color: white;
  padding: 1px 5px;
  margin-right: 0.5em;
}

/* misc */
/* line 667, app/assets/stylesheets/display.scss */
.button_or {
  color: #999;
  padding-left: 0.5em;
  font-size: 0.75em;
  font-family: 'Lucida Grande', Tahoma, Arial, Helvetica, sans-serif;
}

/* line 674, app/assets/stylesheets/display.scss */
.button_or a {
  color: #c00;
}

/* line 676, app/assets/stylesheets/display.scss */
form.dialog {
  margin-top: 3em;
  background: #eee;
  width: 300px;
  padding: 15px;
}

/* line 684, app/assets/stylesheets/display.scss */
form .entryhelp {
  font-size: 0.7em;
}

/* line 689, app/assets/stylesheets/display.scss */
form .help {
  font-size: 0.8em;
}

/* line 694, app/assets/stylesheets/display.scss */
span.arrow {
  font-weight: normal;
  font-size: 0.9em;
  color: #999;
}

/* line 701, app/assets/stylesheets/display.scss */
div.stats {
  margin-top: 2em;
  background: #ded;
  font-family: 'Lucida Grande', Tahoma, Arial, Helvetica, sans-serif;
  font-size: 0.8em;
  padding: 15px 15px;
  border: 2px solid #393;
  border-width: 1px 0;
}

/* line 711, app/assets/stylesheets/display.scss */
div.stats .posts {
  float: right;
  text-align: right;
}

/* breadcrumbs */
/* line 715, app/assets/stylesheets/display.scss */
.crumbs {
  font-size: 0.75em;
  font-family: 'Lucida Grande', Tahoma, Arial, Helvetica, sans-serif;
}

/* line 720, app/assets/stylesheets/display.scss */
.crumbs a {
  color: #468;
}

/* line 721, app/assets/stylesheets/display.scss */
.crumbs a:hover {
  color: #00c;
  text-decoration: underline;
}

/* posts */
/* line 725, app/assets/stylesheets/display.scss */
table.posts {
  border-bottom: 2px solid #eee;
}

/* line 730, app/assets/stylesheets/display.scss */
table.posts tr td {
  border: 0;
}

/* line 734, app/assets/stylesheets/display.scss */
table.posts tr.spacer td {
  font-size: 1px;
}

/* fade edit links */
/* line 740, app/assets/stylesheets/display.scss */
.post .author .edit a {
  font-size: 0.7em;
  color: #666;
}

/* line 746, app/assets/stylesheets/display.scss */
.post .author img {
  float: left;
  margin-right: 0.5em;
}

/* line 750, app/assets/stylesheets/display.scss */
.post .author {
  border-top: 2px solid #eee;
  padding: 5px 10px;
  background: #eee;
  font-weight: bold;
  color: #333;
  font-size: 0.9em;
  min-height: 32px;
  width: 10em;
  min-width: 8em;
  vertical-align: top;
}

/* line 764, app/assets/stylesheets/display.scss */
.post .author .posts,
.post .author .admin {
  display: block;
  font-size: 0.75em;
  color: black;
  color: #666;
}

/* line 772, app/assets/stylesheets/display.scss */
.post .author a {
  color: #333;
  text-decoration: none;
}

/* line 777, app/assets/stylesheets/display.scss */
.post .author a.threadauthor {
  color: #080;
}

/* line 781, app/assets/stylesheets/display.scss */
.post .author a:hover {
  color: #369;
  text-decoration: underline;
}

/* line 787, app/assets/stylesheets/display.scss */
.post .date {
  font-size: 0.75em;
  color: #666;
  font-weight: normal;
  margin-bottom: 0.5em;
}

/* line 795, app/assets/stylesheets/display.scss */
.posts .post .body {
  border-top: 2px solid #eee;
  font-size: 0.9em;
  padding: 10px 20px;
  max-width: 45em;
}

/* line 803, app/assets/stylesheets/display.scss */
.posts .post .body blockquote {
  border: 1px solid #cda;
  border-left: 3px solid #9a7;
  border-right: 0;
  background: #efc;
  padding: 1px 10px;
  margin-left: 0;
}

/* line 813, app/assets/stylesheets/display.scss */
.posts .post .body pre {
  font-size: 0.8em;
  background: #eee;
  padding: 5px 10px;
  border: 1px solid #ccc;
  border-left: 3px solid #ddd;
  border-right: 0;
  overflow: auto;
  font-family: "Monaco", "Bitstream Vera Sans Mono", "Courier New", serif;
  max-width: 100%;
}

/* line 826, app/assets/stylesheets/display.scss */
.posts .post .body a:hover {
  color: brown;
}

/* line 828, app/assets/stylesheets/display.scss */
.posts .post .body blockquote p {
  margin: 0.5em 0;
}

/* line 833, app/assets/stylesheets/display.scss */
.post .body p.topic {
  font-size: 0.8em;
  font-weight: bold;
  background: #eee;
  padding: 2px 10px;
}

/* editing posts */
/*
table.posts .editing td {
}
table.posts .editing td.author { 
  background:#030; 
  }
  
table.posts .editing td.author * { color:#ccc; }
table.posts .editing td.body { }
*/
/* other stuff */
/* line 856, app/assets/stylesheets/display.scss */
p.online {
  margin-bottom: 0;
}

/* line 858, app/assets/stylesheets/display.scss */
img.icon {
  background: #696;
  background-image: url(/assets/clearbits/bg_rounded-b9f6f2a4721b83bae0f696250284462207ffb5f15b915d1d9a5597e5e12be54a.gif);
  background-repeat: no-repeat;
  vertical-align: bottom;
}

/* line 865, app/assets/stylesheets/display.scss */
img.reply {
  float: right;
}

/* line 866, app/assets/stylesheets/display.scss */
img.orange {
  background-color: darkorange;
}

/* line 867, app/assets/stylesheets/display.scss */
img.grey {
  background-color: #ccc;
}

/* line 868, app/assets/stylesheets/display.scss */
img.darkgrey {
  background-color: #999;
}

/* line 869, app/assets/stylesheets/display.scss */
img.green {
  background-color: #0c0;
}

/* line 871, app/assets/stylesheets/display.scss */
.post .author .icon {
  float: right;
}

/* reply */
/* line 878, app/assets/stylesheets/display.scss */
div.editbox {
  background: url(/assets/reply_background-cbf2b17907903dba9841ce4bcfee457f41180d50bce6851b094df9230f5f067d.png);
  border: 2px solid #333;
  border-width: 2px 0;
  position: fixed;
  bottom: 0;
  left: 0;
  width: 100%;
  padding: 6px 0 7px;
  z-index: 50;
}

/* line 891, app/assets/stylesheets/display.scss */
div.editbox .container {
  width: 92%;
  margin: 0 auto;
  min-width: 760px;
}

/* line 898, app/assets/stylesheets/display.scss */
div.editbox p {
  margin: 0.5em 0;
}

/* line 899, app/assets/stylesheets/display.scss */
div.editbox textarea {
  width: 100%;
  height: 18em;
  background: white;
  opacity: 1;
  font-size: 0.8em;
  font-family: 'Lucida Grande', Tahoma, Arial, Helvetica, sans-serif;
}

/* line 908, app/assets/stylesheets/display.scss */
div.editbox .button_or a, #MarkupHelp a {
  color: #ccc;
}

/* line 912, app/assets/stylesheets/display.scss */
div.editbox table td {
  border: 0;
}

/* line 913, app/assets/stylesheets/display.scss */
div.editbox span.utility label {
  color: #f99;
  font-size: 0.65em;
}

/* line 918, app/assets/stylesheets/display.scss */
div.editbox a.utility {
  color: #f99;
  font-size: 0.65em;
  padding: 2px 5px 4px;
  display: block;
  font-family: 'Lucida Grande', Tahoma, Arial, Helvetica, sans-serif;
  float: right;
  text-align: right;
  margin-top: 0.2em;
}

/* line 930, app/assets/stylesheets/display.scss */
div.editbox h5 {
  background: #222;
  color: white;
  padding: 2px 10px 3px;
  font-size: 0.7em;
  margin: 0.2em 0 0.5em;
}

/* line 939, app/assets/stylesheets/display.scss */
div.editbox p.help span,
div.editbox ul.help span {
  color: #999;
}

/* line 941, app/assets/stylesheets/display.scss */
div.editbox p.help,
#MarkupHelp ul.help {
  padding: 3px 10px;
  font-size: 0.75em;
  color: #ccc;
  font-family: 'Lucida Grande', Tahoma, Arial, Helvetica, sans-serif;
}

/* line 949, app/assets/stylesheets/display.scss */
div.editbox ul.help {
  margin: 0;
}

/* line 951, app/assets/stylesheets/display.scss */
#MarkupHelp ul.help {
  list-style-type: none;
  padding: 0;
}

/* line 954, app/assets/stylesheets/display.scss */
#right #MarkupHelp {
  width: 18em;
}

/* line 957, app/assets/stylesheets/display.scss */
#right #MarkupHelp ul.help,
#right #MarkupHelp p.help,
#right #MarkupHelp p.help a {
  color: #000;
}

/* line 962, app/assets/stylesheets/display.scss */
#right #MarkupHelp ul.help span {
  color: #660;
}

/* line 966, app/assets/stylesheets/display.scss */
#monitor_topic a {
  color: #666;
}

/* line 971, app/assets/stylesheets/display.scss */
.pagination {
  font-size: 0.7em;
  text-align: center;
  padding: .3em;
  clear: both;
}

/* line 976, app/assets/stylesheets/display.scss */
.pagination a, .pagination span, .digg_pagination em {
  padding: .2em .5em;
}

/* line 978, app/assets/stylesheets/display.scss */
.pagination span.disabled {
  color: #AAA;
}

/* line 980, app/assets/stylesheets/display.scss */
.pagination em {
  font-weight: bold;
  color: #FF0084;
}

/* line 983, app/assets/stylesheets/display.scss */
.pagination a {
  border: 1px solid #DDDDDD;
  color: #0063DC;
  text-decoration: none;
}

/* line 987, app/assets/stylesheets/display.scss */
.pagination a:hover, .pagination a:focus {
  border-color: #360;
  background: #9c6;
  color: white;
}

/* line 991, app/assets/stylesheets/display.scss */
.pagination .page_info {
  color: #aaa;
  padding-top: .8em;
}

/* line 994, app/assets/stylesheets/display.scss */
.pagination .prev_page, .pagination .next_page {
  border-width: 2px;
}

/* line 996, app/assets/stylesheets/display.scss */
.pagination .prev_page {
  margin-right: .25em;
}

/* line 998, app/assets/stylesheets/display.scss */
.pagination .next_page {
  margin-left: .25em;
}

/* line 1001, app/assets/stylesheets/display.scss */
merror {
  display: inline;
  font-size: 1em;
}

/* line 1002, app/assets/stylesheets/display.scss */
math[display=block] {
  overflow: auto;
}

/* line 1003, app/assets/stylesheets/display.scss */
math {
  white-space: nowrap;
}

/* line 1004, app/assets/stylesheets/display.scss */
.maruku-eq-number {
  float: right;
}

/* line 1005, app/assets/stylesheets/display.scss */
.maruku-equation {
  text-align: center;
}

/* line 1006, app/assets/stylesheets/display.scss */
.blockquotesource {
  margin-left: 1em;
}

/* line 1007, app/assets/stylesheets/display.scss */
fieldset.search {
  display: inline;
  border: none;
  padding: 0;
  margin: 0;
  top: 5px;
  position: relative;
}

/* line 1008, app/assets/stylesheets/display.scss */
span.keyboard {
  background: #CCC;
  color: #000;
  border: outset 2px;
  font-family: verdana, arial, sans-serif;
  font-size: .7em;
  margin-left: 5px;
  padding: 1px 2px;
}

/* line 1017, app/assets/stylesheets/display.scss */
.centeredfigure {
  position: relative;
  margin: auto;
  text-align: center;
}

/* line 1023, app/assets/stylesheets/display.scss */
body {
  counter-reset: theorem lemma proposition corollary definition example remark note;
}

/* line 1024, app/assets/stylesheets/display.scss */
.un_theorem, .num_theorem,
.un_lemma, .num_lemma,
.un_prop, .num_prop,
.un_cor, .num_cor {
  font-style: italic;
}

/* line 1028, app/assets/stylesheets/display.scss */
span.theorem_label {
  font-style: normal;
  font-weight: bold;
}

/* line 1029, app/assets/stylesheets/display.scss */
.proof span.theorem_label {
  font-style: italic;
}

/* line 1030, app/assets/stylesheets/display.scss */
.num_theorem .theorem_label:after {
  content: " " counter(theorem);
  counter-increment: theorem;
}

/* line 1032, app/assets/stylesheets/display.scss */
.num_lemma .theorem_label:after {
  content: " " counter(lemma);
  counter-increment: lemma;
}

/* line 1034, app/assets/stylesheets/display.scss */
.num_prop .theorem_label:after {
  content: " " counter(proposition);
  counter-increment: proposition;
}

/* line 1036, app/assets/stylesheets/display.scss */
.num_cor .theorem_label:after {
  content: " " counter(corollary);
  counter-increment: corollary;
}

/* line 1038, app/assets/stylesheets/display.scss */
.num_defn .theorem_label:after {
  content: " " counter(definition);
  counter-increment: definition;
}

/* line 1040, app/assets/stylesheets/display.scss */
.num_example .theorem_label:after {
  content: " " counter(example);
  counter-increment: example;
}

/* line 1042, app/assets/stylesheets/display.scss */
.num_remark .theorem_label:after {
  content: " " counter(remark);
  counter-increment: remark;
}

/* line 1044, app/assets/stylesheets/display.scss */
.num_note .theorem_label:after {
  content: " " counter(note);
  counter-increment: note;
}

/* line 1046, app/assets/stylesheets/display.scss */
.tombstone {
  text-align: right;
}

/* Hack for Mozilla bug 449396 */
/* line 1049, app/assets/stylesheets/display.scss */
[mathvariant="bold"] * {
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
}

/* line 1054, app/assets/stylesheets/display.scss */
[mathvariant="italic"] * {
  font-style: italic;
  font-variant: normal;
  font-weight: normal;
}

/* line 1059, app/assets/stylesheets/display.scss */
[mathvariant="bold-italic"] * {
  font-style: italic;
  font-variant: normal;
  font-weight: bold;
}

/* line 1064, app/assets/stylesheets/display.scss */
[mathvariant="sans-serif"] * {
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
}

/* line 1069, app/assets/stylesheets/display.scss */
[mathvariant="bold-sans-serif"] * {
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
}

/* line 1074, app/assets/stylesheets/display.scss */
[mathvariant="sans-serif-italic"] * {
  font-style: italic;
  font-variant: normal;
  font-weight: normal;
}

/* line 1079, app/assets/stylesheets/display.scss */
[mathvariant="sans-serif-bold-italic"] * {
  font-style: italic;
  font-variant: normal;
  font-weight: bold;
}

/* line 1084, app/assets/stylesheets/display.scss */
[actiontype="toggle"]:hover {
  text-shadow: #ccc 2px 2px 5px;
}

/* line 1086, app/assets/stylesheets/display.scss */
#svg_logo {
  float: left;
  margin: 0 .25em 0 -.625em;
  width: 1.5em;
  height: 1.625em;
}

/* line 1093, app/assets/stylesheets/display.scss */
.maruku_toc ul {
  list-style: none;
}

@media only screen and (max-device-width: 480px) {
  /* line 1096, app/assets/stylesheets/display.scss */
  #right {
    clear: left;
  }
  /* line 1097, app/assets/stylesheets/display.scss */
  #container {
    min-width: 0;
    max-width: 100%;
  }
  /* line 1098, app/assets/stylesheets/display.scss */
  #content {
    margin: 0;
    padding: 5px;
    width: 100%;
    min-width: 0;
  }
  /* line 1099, app/assets/stylesheets/display.scss */
  #footer {
    min-width: 67%;
    max-width: 67%;
  }
  /* line 1100, app/assets/stylesheets/display.scss */
  #footer p.credit {
    font-size: .5em;
  }
  /* line 1101, app/assets/stylesheets/display.scss */
  .topics {
    max-width: 95%;
  }
  /* line 1102, app/assets/stylesheets/display.scss */
  .post .author {
    width: 5em;
    max-width: 15%;
    min-width: 10%;
  }
  /* line 1103, app/assets/stylesheets/display.scss */
  .posts .post .body {
    max-width: 90%;
  }
  /* line 1104, app/assets/stylesheets/display.scss */
  div.editbox .container {
    width: 95%;
    min-width: 95%;
  }
  /* line 1105, app/assets/stylesheets/display.scss */
  #MarkupHelp {
    clear: left;
  }
}
/*
The STIX Two fonts are released under the "SIL Open Font License, Version
1.1". The fonts (both the otf and the woff and woff2 versions used here)
can be obtained from http://stixfonts.org/ .
*/
@font-face {
  font-family: STIX Two Text;
  src: local("STIX Two Text"), local("STIX2Text-Regular"), url(/assets/STIX2Text-Regular-e178cabce7bf1687db40b7f97817a1325e9ae303ba9653268fab5eeaf940fa4e.woff2), url(/assets/STIX2Text-Regular-2dfbf8303ce7d0bd30d7dbea43769bab4cf833989b006c84620c76836764030d.woff);
}

@font-face {
  font-family: STIX Two Text;
  src: local("STIX Two Text Bold"), local("STIX2Text-Bold"), url(/assets/STIX2Text-Bold-5fe7b236997ca7a7c34d9124282cc46c7cfe1339105cddf31924c509cc97a8ec.woff2), url(/assets/STIX2Text-Bold-827508054082993931abcbff180c1d38f22b497a1c229e705760983a526a9935.woff);
  font-weight: bold;
}

@font-face {
  font-family: STIX Two Text;
  src: local("STIX Two Text Italic"), local("STIX2Text-Italic"), url(/assets/STIX2Text-Italic-b823a022692f146b31ac0b8c3a1802a2f222dbba7a827157829ec4febe72985b.woff2), url(/assets/STIX2Text-Italic-d801bbb07d1a0d4f84f05ac6ad5efe8fc70834e8f0a314d24132e0ba7ec7421c.woff);
  font-style: italic;
}

@font-face {
  font-family: STIX Two Text;
  src: local("STIX Two Text Bold Italic"), local("STIX2Text-BoldItalic"), url(/assets/STIX2Text-BoldItalic-400196c32706780a8b529e635f06ce08fd00f584ba7a55394e9df6311adbad45.woff2), url(/assets/STIX2Text-BoldItalic-1aadb63270f1b25e367ab65b347a25649e672c796be8ef44fa1a94d20e62ca1e.woff);
  font-weight: bold;
  font-style: italic;
}

@font-face {
  font-family: STIX Two Math;
  src: local("STIX Two Math"), local("STIX2Math"), url(/assets/STIX2Math-ca0b16818447c70b0edb14c4c6ee64a4597e98fb4a19b5f89cad1a43a25a3d40.woff2), url(/assets/STIX2Math-efbc32428dbaf15748d8c2c42c236a8f286db0c3d22f2593e7c57e67550b0997.woff);
}

/* line 36, app/assets/stylesheets/mathfonts.scss.erb */
mtext {
  font-family: STIX Two Text;
}

/* line 39, app/assets/stylesheets/mathfonts.scss.erb */
math {
  font-family: STIX Two Math;
}

/* line 43, app/assets/stylesheets/mathfonts.scss.erb */
.mathscript {
  font-variant-alternates: styleset(ss01);
  /* Recommended syntax */
  font-feature-settings: "ss01" on;
  /* For browsers which don't support the above */
}

/* line 48, app/assets/stylesheets/mathfonts.scss.erb */
.oldstylenumbers {
  font-variant-numeric: oldstyle-nums;
  /* Recommended syntax */
  font-feature-settings: 'onum';
  /* OpenType feature syntax */
  -moz-font-feature-settings: 'onum';
  /* Gecko <= 33 syntax */
  -webkit-font-feature-settings: 'onum';
  /* Blink syntax */
}
pre.ansic .normal {}
pre.ansic .comment { color: #00F; }
pre.ansic .keyword { color: #A00; }
pre.ansic .predefined_types { color: #D00; }
pre.ansic .char { color: #F07; }
pre.ansic .ident { color: #004; }
pre.ansic .hex { color: #F99; }
pre.ansic .oct { color: #F99; }
pre.ansic .integer { color: #F99; }
pre.ansic .float { color: #F99; }
pre.ansic .string { color: #494; }
pre.ansic .preprocessor { color: #D0D; }
pre.ansic .other { color: black; }

pre.fortran .normal {}
pre.fortran .string { color: #494; }
pre.fortran .number { color: #D0D; }
pre.fortran .comment { color: #00F; }
pre.fortran .keyword { color: #A00; }
pre.fortran .type { color: #D00; }
pre.fortran .symbol { color: #008B8B; }
pre.fortran .function { color: #F07; }

pre.css21 .normal {}
pre.css21 .comment { color: #888; }
pre.css21 .cdo { color: #666; }
pre.css21 .cdc { color: #666; }
pre.css21 .string { color: #494; }
pre.css21 .invalid { color: #FF0000; }
pre.css21 .keyword { color: #BB0000; }
pre.css21 .property {font-size: 1em; color:  #ff4500; }
pre.css21 .ident { color: #000080; }
pre.css21 .id { color: #0000FF; }
pre.css21 .important { color: #EE0000; background: #ffd700;}
/* @ keywords */
pre.css21 .import { color: #A0A; }
pre.css21 .page { color: #A0A; }
pre.css21 .media { color: #A0A; }
pre.css21 .charset { color: #A0A; }
pre.css21 .uri { color: #7BB; }
pre.css21 .function { color: #077; }
/* numbers */
pre.css21 .hash { color: #07F; }
pre.css21 .ems { color: #07F; }
pre.css21 .exs { color: #07F; }
pre.css21 .length { color: #07F; }
pre.css21 .angle { color: #07F; }
pre.css21 .time { color: #07F; }
pre.css21 .freq { color: #07F; }
pre.css21 .dimension { color: #07F; }
pre.css21 .percentage { color: #07F; }
pre.css21 .number { color: #07F; }
/* html 4.01 tags */
pre.css21 .tag { color: #008000; }

pre.javascript .normal {}
pre.javascript .comment { color: #00A; }
pre.javascript .keyword { color: #A00; }
pre.javascript .predefined_types { color: #DD0000; }
pre.javascript .char { color: #F07; }
pre.javascript .ident { color: #004; }
pre.javascript .hex { color: #F99; }
pre.javascript .oct { color: #F99; }
pre.javascript .integer { color: #F99; }
pre.javascript .float { color: #F99; }
pre.javascript .unicode { color: #F99; }
pre.javascript .string { color: #494;}
pre.javascript .other { color: #808; }

pre.sqlite .normal {}
pre.sqlite .comment { color: #33F; }
pre.sqlite .function { color: #077; }
pre.sqlite .keyword { color: #A00; }
pre.sqlite .operator { color: #0A0; }
pre.sqlite .datatype { color: #DD0000; }
pre.sqlite .ident { color: #004; }
pre.sqlite .string { color: #A4A; }
pre.sqlite .other { color: black; }

pre.yaml .normal {}
pre.yaml .document { font-weight: bold; color: #07F; }
pre.yaml .type { font-weight: bold; color: #05C; }
pre.yaml .key { color: #F88; }
pre.yaml .comment { color: #005; font-style: italic; }
pre.yaml .punct { color: #447; font-weight: bold; }
pre.yaml .string { color: #944; }
pre.yaml .number { color: #F99; }
pre.yaml .time { color: #F99; }
pre.yaml .date { color: #F99; }
pre.yaml .ref { color: #944; }
pre.yaml .anchor { color: #944; }

pre.ruby .normal {}
pre.ruby span.attribute { color: #090; }
pre.ruby span.char { color: #F00; }
pre.ruby span.class { color: #A020F0; font-weight: bold; }
pre.ruby span.comment { color: #00F; }
pre.ruby span.constant { color: #008B8B; }
pre.ruby span.escape { color: #6A5ACD; }
pre.ruby span.expr { color: #22C; }
pre.ruby span.global { color: #1A4; }
pre.ruby span.ident { color: #004; }
pre.ruby span.keyword { color: #A52A2A; font-weight: bold; }
pre.ruby span.method { color: #008B8B; }
pre.ruby span.module { color: #A020F0; font-weight: bold; }
pre.ruby span.number { color: #D0D; }
pre.ruby span.punct { color: #6A5ACD; }
pre.ruby span.regex { color: #D0D; }
pre.ruby span.string { color: #D0D; }
pre.ruby span.symbol { color: #008B8B; }

pre.xml .normal {}
pre.xml .namespace { color: #D66; font-weight: bold; }
pre.xml .tag { color: #F55; }
pre.xml .comment { color: #070; font-style: italic; }
pre.xml .punct { color: #449; font-weight: bold; }
pre.xml .string { color: #949; }
pre.xml .number { color: #F99; }
pre.xml .attribute { color: #771; }