body { 
	font-family:arial, verdana, sans-serif;
	margin:0 auto;
	padding:0;
	text-align: left;
	background-color: #eff3f4 ;
}

h3 {
	padding-left: 1em;
}

img {
	border: none;
}

a:link { text-decoration: none; }
a:visited { text-decoration: none; }
a:hover { text-decoration: underline; }

.commands {
	font-size: smaller;
}

#page-header {
	padding: 0;
	margin: 0;
	color: white;
	font: bold arial, MS Trebuchet, sans-serif;
	background: Indigo;
	text-align: right;
}

#page-header a { 
	padding: 0;
	margin: 0;
	color: white;
	font: bold arial, MS Trebuchet, sans-serif;
	background: Indigo;
	text-decoration: none; 
}

#page-header a:link { 
	text-decoration: none; 
}

#page-header a:visited {
	text-decoration: none; 
}

#page-header a:hover {
	text-decoration: none; 
}

#post {
	border-style: none;
}

#syndication {
	border-style: none;
}

#help {
	border-style: none;
}
#tip {
	border-style: none;
}

#article-title {
	margin: 0;
	padding-top: 1em;
	padding-bottom: 0;
}

#delete-article-title {
	margin: 0;
	padding-top: 1em;
	padding-bottom: 0;
	color: red;
}
	
#article-byline {
	margin: 0;
}

#article-timeline {
	font-size: small;
	text-align: right;
	margin-top: -1em;
}
	
#article-content {
}

.sidebar {
	float: right;
    text-align: left;
    font-size: smaller;  
    margin-left: 0.5em;
}

.widetext { 
	width: 80%;
	height: 30em;
}

.main {
	padding: 0.5em;
	margin-bottom: 0;
	padding-bottom: 0;
}

.byline {
	font-style: italic;
	font-size: smaller;
}

.title-list {
	font-weight: bold;
}

.admin {
	border: none;	
}

.footer {
        clear: left;
	font-size: small;
	text-align: right;
}

.tip {
   float: left;
   color: white;
   margin: 2px;
}
	
.keyword { color: blue; }
.comment { color: green; }
.literal { color: blue; }
.string  { color: navy; }

.code { font-family: monospace; }

/*
   The terminal style is applied to preformatted content that should be displayed
   as if it were on a terminal to make it clear that this is code. It's particularly
   useful for content that's to be typed in by the user as shell commands.
 */
pre.terminal {
   margin-left: 5em;
   margin-right: 5em;
   padding: 0.5em 0.25em 0.5em 0.25em;
   border: 1px solid black;
   border-radius: 6px;
   -moz-border-radius: 6px;
   -webkit-border-radius: 6px;
   background-color: black;
   color: #7fff00;
}

pre.terminal > a { color: #7fff00; }
pre.terminal > a:link { text-decoration: none; }
pre.terminal > a:visited { text-decoration: none; }
pre.terminal > a:hover { text-decoration: underline; }

/*
   For annotating the terminal content
 */
pre.terminal > .note {
   font-size: smaller; 
   font-weight: bold; 
   font-style: italic;
   color: white;
}

/*
   terminal content that would overflow the right margin on small monitors (and I'm assuming
   a minimum of 1024 here) should be given this id so that they're given scrollbars. Unfortunately
   scrollbars are all or nothing - they're not dynamically applied to content that needs them, so
 */
#terminal_oversize {
   overflow: scroll;
}

*.caution {
   color: black; 
   background-color: yellow; 
   border: 3px solid black;
   margin-left: 5em;
   margin-right: 5em;
   text-align: center;
   font-weight: bolder;
   padding: 1em; 
   border-radius: 6px; 
   -moz-border-radius: 6px; 
   -webkit-border-radius: 6px;
}

/*
 
 Comment support
 
 */
.commentList { }

.adminComment {
   background:#FFCCCC;
   margin: 1em;
   border-radius: 6px;
   -moz-border-radius: 6px;
   -webkit-border-radius: 6px;
}

.proleComment {
   background:#CCFFCC;
   margin: 1em;
   border-radius: 6px;
   -moz-border-radius: 6px;
   -webkit-border-radius: 6px;
}

.commentByline {
	font-style: bold;
	font-size: x-small;
}

.commentCoventry {
	font-style: italic;
	font-size: x-small;
	font-weight: bold;
}

.commentDeleted {
	font-style: italic;
	font-size: x-small;
	font-weight: bold;
	color: red;
}

.commentReleased {
	font-style: italic;
	font-size: x-small;
	font-weight: bold;
}

.commentPosted {
	font-style: italic;
	font-size: x-small;
}

.commentContent {
	display: block;
}

.comment {
}

.commentForm {
}

.help {
	border: none;
}

.commentError {
	display: block;
	color: red;
}

.commentForm form fieldset label {
	display: block; 
	margin: 0.5em;
}

.commentForm form fieldset label input {
  display: block;
  width: 25em;
}

.commentForm form fieldset label textarea {
  display: block;
  margin: 0.5em;
  width: 100%;
  height: 20em;
}

/* Overrides the normal commentform label */
.commentForm form fieldset label.cheese {
	display: none;
}

#cheese {
	display: none;
}

blockquote.bbcode {
   border: 1px dotted black;
   background-color: white;
   foreground-color: black;
   padding: 0.5em 0.25em 0.5em 0.25em;
   border-radius: 4px;
   -moz-border-radius: 4px;
   -webkit-border-radius: 4px;
}

pre.bbcode {
   margin-left: 5em;
   margin-right: 5em;
   padding: 0.5em 0.25em 0.5em 0.25em;
   border: 1px solid black;
   border-radius: 6px;
   -moz-border-radius: 6px;
   -webkit-border-radius: 6px;
   background-color: black;
   color: #7fff00;
   overflow: scroll;
}

pre.bbcode > a { color: #7fff00; }
pre.bbcode > a:link { text-decoration: none; }
pre.bbcode > a:visited { text-decoration: none; }
pre.bbcode > a:hover { text-decoration: underline; }

div.conway_hr {
	margin: 10px;
	text-align: center;
}

div.conway_hr > img {
	border: none;
}

#comments {
	margin-left: 1em;
}

.image_left {
	float: left;
	border: none;
	margin: 0.25em;
}

.image_right {
	float: right;
	margin: 0.25em;
}

.sidebar_right {
	float: right;
	margin: 0.5em;
	padding: 0.25em;
	border: 1px dashed red;
	max-width: 20em;
	min-width: 20em;
	background-color: #ffffbb;
}

.sidebar_right > .heading {
	font-size: large;
	font-weight: bold;
	text-align: center;
	font-family: serif;
	padding: 0;
	margin: 0;
}

.sidebar_right > p {
	margin: 0 0 0.25em 0;
}