/*
Original design: andreas08 (v2.0 - June 01, 2010) - A free xhtml/css website template by Andreas Viklund.
For more information, see http://andreasviklund.com/templates/andreas08/
*/

/* Body and tag styles */
* {margin:0; padding:0;}
body {font:76% Verdana,Tahoma,Arial,sans-serif; line-height:1.4em; text-align:center; color:#303030; background:#e8eaec;}
a {color:#467aa7; font-weight:bold; text-decoration:none; background-color:inherit;}
a:hover {color:#2a5a8a; text-decoration:none; background-color:inherit;}
a img {border:none;}
p {padding: 0.8em 0;}
p form {margin-top:0; margin-bottom:20px;}
img.left,img.center,img.right {padding:4px; border:1px solid #a0a0a0;}
img.left {float:left; margin:0 12px 5px 0;}
img.center {display:block; margin:0 auto 5px auto;}
img.right {float:right; margin:0 0 5px 12px;}

/* Header and navigation styles */
#container {width:760px; margin:20px auto; padding:1px 0; text-align:left; background:#ffffff; color:#303030; border:2px solid #a0a0a0;}
#header {height:110px; width:758px; margin:0 1px 1px 1px; background:#467aa7; color:#ffffff;}
#header h1 {padding:35px 0 0 20px; font-size:2.4em; background-color:inherit; color:#ffffff; letter-spacing:-2px; font-weight:normal;}
#header h2 {margin:10px 0 0 40px; font-size:1.4em; background-color:inherit; color:#f0f2f4; letter-spacing:-1px; font-weight:normal;}
#navigation {height:2.2em; line-height:2.2em; width:758px; margin:0 1px; background:#578bb8; color:#ffffff;}
#navigation li {float:left; list-style-type:none; border-right:1px solid #ffffff; white-space:nowrap;}
#navigation li a {display:block; padding:0 10px; font-size:0.8em; font-weight:normal; text-transform:uppercase; text-decoration:none; background-color:inherit; color: #ffffff;}
* html #navigation a {width:1%;}
#navigation .selected,#navigation a:hover {background:#80b0da; color:#ffffff; text-decoration:none;}

/* Content styles */
#content {float:left; width:530px; font-size:0.9em; padding:20px 0 0 20px;}
#content h2 {display:block; margin:10px 0; font-size:1.7em; font-weight:normal; letter-spacing:-1px; color:#505050; background-color:inherit;}
#content h2 a {font-weight:normal; }
#content h3 {margin:15px 0 10px 0; font-size:1.4em; letter-spacing:-1px; color:#505050;}
#content h4 {margin:10px 0 10px 0; font-size:1.15em; color:#505050;}
#content a:hover,#subcontent a:hover {text-decoration:underline;}
#content ul,#content ol {margin:0 5px 0 35px; padding: 0.8em 0;}
#content dl {margin:0 5px 10px 25px;}
#content dt {font-weight:bold; margin-bottom:5px;}
#content dd {margin:0 0 10px 15px;}

/* Sidebar styles */
#subcontent {float:right; width:170px; padding:20px 20px 10px 0; line-height:1.4em;}
#subcontent h2 {display:block; margin:0 0 15px 0; font-size:1.5em; font-weight:normal; text-align:left; letter-spacing:-1px; color:#505050; background-color:inherit;}
#subcontent p {margin:0 0 16px 0; font-size:0.9em;}

/* Menublock styles */
.menublock {margin:0 0 20px 8px; font-size:0.9em;}
.menublock li {list-style:none; display:block; padding:2px; margin-bottom:2px;}
.menublock li a {font-weight:bold; text-decoration:none;}
.menublock li a:hover {text-decoration:none;}
.menublock li ul {margin:3px 0 3px 15px; font-size:1em; font-weight:normal;}
.menublock li ul li {margin-bottom:0;}
.menublock li ul a {font-weight:normal;}

/* Searchbar styles */
#searchbar {margin:0 0 20px 0;}
#searchbar form fieldset {margin-left:10px; border:0 solid;}
#searchbar #s {height:1.2em; width:110px; margin:0 5px 0 0; border:1px solid #a0a0a0;}
#searchbar #searchbutton {width:auto; padding:0 1px; border:1px solid #808080; font-size:0.9em; text-align:center;}

/* Footer styles */
#footer {clear:both; width:758px; padding:5px 0; margin:0 1px; font-size:0.9em; color:#f0f0f0; background:#467aa7;}
#footer p {padding:0; margin:0; text-align:center;}
#footer a {color:#f0f0f0; background-color:inherit; font-weight:bold;}
#footer a:hover {color:#ffffff; background-color:inherit; text-decoration: underline;}

/* Misc classes and styles */
.splitcontentleft {float:left; width:48%;}
.splitcontentright {float:right; width:48%;}
.clear {clear:both;}
.small {font-size:0.8em;}
.hide {display:none;}
.textcenter {text-align:center;}
.textright {text-align:right;}
.important {color:#f02025; background-color:inherit; font-weight:bold;}
.box {margin:10px 0 10px 0; padding:10px; border:1px solid #c0c0c0; background-color:#fafbfc; color:#505050; line-height:1.5em;}

blockquote {
  margin: 0 10%;
}

pre {
  border: #BBBBBB 2px inset; 
  margin: 0 10%;
  overflow: auto;
  padding: 5px; 
}

code, pre, tt {
  background-color: #ccffcc;
  font-family: Courier New, Courier, monospace;
  font-size: 110%;
}

code, tt {
  font-weight: 900;
}

code em, tt em {
  font-weight: normal;
}

pre.shell, code.shell {
  background-color: black;
  color: white;
}

dfn{
  font-style:normal; 
  font-weight:bold; 
  color:firebrick
}

td > pre {
  margin: 0 5px;
}

hr {
  margin: 10px 0;
}

table {
  border-collapse:collapse;
  border: 2px outset gray;
  margin-left: 5%;
}

th, td {
  border: 1px outset gray;
  padding: 3px;
}

.button {
  background-color: #CCCCCC;
  border-style: outset;
  border-width: thin;
  color: black;
  font-family: sans-serif;
  font-size: smaller;
  font-style: normal;
  padding-left: 3px;
  padding-right: 3px;
  text-decoration: none;
}

.code {
  font-family: "Courier", monospace;
}

.code-syntax {
  font-family: "Courier", monospace;
  background-color: #FFCC66;
}

pre.sample-code {
  background-color: #ffffcc;
}

pre.good-code {
  background-color: #ccffcc;
}

pre.bad-code {
  background-color: #ffcccc;
}

#content a[name]::after { 
  font-family: FontAwesome;
  content: "  \f0c1";
  visibility: hidden;
}

#content a[name]:hover::after {
  text-decoration:none;
  visibility: visible;
}

.bug-table {
  border-collapse:collapse;
  border: 2px outset gray;
  margin-left: 5%;
}

.bug-table caption {
  font-weight: bold;
}

.bug-table th, .bug-table td {
  border: 1px outset gray;
  padding: 3px;
}

.bug-table th {
  text-align: right;
}

.footnote {
  display: none;
}

.highlight, .quote {
  background-color: #99ff99;
	color: black;
  padding: 0.8em;
}

.input {
  text-decoration: underline;
}

.plain {
  border: none;
  text-decoration: none;
}

.quote {
  margin: 10px 5%;
}

.use-case {
  background-color: lightgrey;
  margin-left: 5%;
	margin-right: 5%;
}
  
#banner {
  font-size: 22pt;
  text-align: center;
}

#closing {
  font-style: italic;
}

#logo {
  background-color: white;
  text-align: center;
}

a[href$="\#plagiarism"] {
  color: red;
}

.mailbox {
  border-bottom: 1px dashed blue;
}

table.code-results {
  border: 2px solid gray;
  border-collapse: collapse
}

table.code-results td, table.code-results th {
  border: 2px solid gray;
}

table.code-results td {
  font-family: courier, monospace;
}

table.boggle { float:right; font-size: 18pt; padding:15px; }
table.boggle td { padding:10px; text-align: center; }

.under-construction { 
  background-color: lightgoldenrodyellow;
  border-left: dotted;
  margin-left: 5%;
  padding-left: 1em;
}