/* pale_blue stylesheet */

/* text properties */
body {
  background: #fff;
  color: #444;
  margin: 0px;
  padding: 0px;
}

body,a,b,i,p,td,h1,h2,h3,h4,h5,h6,select,label,input,button {
  font-family: Lucida Grande, Bitstream vera sans, tahoma, verdana, lucida, sans-serif;
}

body,p,td,select,label,input,button {
  font-weight: normal;
  text-decoration: none;
  font-size: 11px;
}

pre, tt, .cmd {
  font-family: "monotype.com", "lucida console", lucidatypewriter, monospace;
  font-size: 10px;
}
pre {
  margin-left: 1.4em;
}
pre.code {
  margin-bottom: 1em;
  padding: .4em;
/*  color: #555;*/
  color: #418fe4;
  background: #ddd;
  border: #aaa solid 1px;
  margin-right: 1.4em;
}
p { /*text-indent: 1em;*/ margin-top: 0; margin-bottom: 1em; }
ul { margin: 0em; padding-left: 2.5em; }
li { list-style-type: circle;  padding: 0;  margin: 0; }
td { vertical-align: top; }
i { color: #36333f; }
b { color: #000; }


div { margin-left: 0.2em; margin-right: 0.2em;}


a:link { text-decoration: none; color: #6f81be; }
a:link:hover { color: #444; text-decoration: underline; }
a:visited { color: #8190a8; }
a:visited:hover { color: #222; background: #ccc; }
a:active { color: #aacc00; }

/*headers {{{*/
.sectnum { color: #eee; padding-left: 2px; margin-right: 4px; }
h1,h2,h3,h4,h5,h6 { color: #888;  margin-top: 1.2em;  margin-bottom: 0.6em;
  font-weight: bold; }
h1 { color: #3d6999;  font-size: 1.4em;  letter-spacing: 0.4em;
  margin-top: 0.6em;  font-weight: normal; }
h2 { color: #46b;  font-size: 1.3em;  letter-spacing: 0.1em;
  margin-top: 1.4em; }
h2 .sectnum { font-size: 12px; background: #46b; }
h3 { color: #234;  font-size: 1.1em;  letter-spacing: 0.08em; }
h3 .sectnum { font-size: 11px; background: #234; }
h4 { color: #777;  font-size: 1em;}
h4 .sectnum { font-size: 10px; background: #777; }
h5 { color: #9a8;  font-size: 1em; }
h5 .sectnum { font-size: 10px; background: #9a8; }
h6 { color: #e93;  font-size: 1em; }
h6 .sectnum { font-size: 10px; background: #e93; }
.headerColor { color: #46b; }
/*}}}*/

/*input {{{*/
select,input,button,label {
  font-size: 10px;
  padding: 1px;
}
input[type="submit"], input[type="reset"] { 
  background-color: #ccc;
  color: #555;
  margin-right: 2px;
}
input[type="submit"]:hover, input[type="reset"]:hover { 
  background-color: #eee;
  color: #36c;
}
input[type="submit"]:active, input[type="reset"]:active { 
  background-color: #eee;
  color: #9ac;
}

input[type="text"], input[type="password"], textarea { 
  background-color: #708098;
}
input[type="text"]:focus, input[type="password"]:focus, textarea:focus  { 
  background-color: #fff; 
}/*}}}*/

.dek {
  position:absolute;
  visibility:hidden;
  z-index:200;
}

.body {
margin-bottom: 0.3em;
}

.topbar,.botbar {
  font-size: 0.7em;
}

.topbar form {
  margin: 0;  padding: 0;
  margin-bottom: 4px;
  font-size: 8px;
  border: 0;
}

/*menu {{{*/
.menubar a { text-decoration: none; } 
.menubar a:hover { color: #444; text-decoration: none; } 
/*}}}*/

.title {
  font-size: 1.2em;
  color: #1f658a;
}


.description_title {
  padding-left: 1em;
  font-weight: bold;
}


/* w3c buttons */
/*
.w3cButton {
  margin 0 0;
  width: 9em;
  border: 1px solid #000;
  font-family: helvetica,arial,sans-serif;
  font-size: 70%;
  float: left;
  font-weight: bold;
}
.w3cButton a {
  display: block;
  width: 100%;
}
.w3cButton a:link, .w3cbutton a:visited, .w3cbutton a:hover {
  background-color: #777;
  color: #fff;
  text-decoration: none;
}
.w3cButton span.w3c {
  padding: 0 0.4em;
  background-color: #fff;
  color: #0c479d;
}
*/

div.w3cButton {
  position: relative;
  margin: 0.2em 0;
  font-family: helvetica,arial,sans-serif;
  font-size: 70%;
  float: left;
  width: 11em;
}
div.w3cButton a {
  display: block;
  border: 1px solid #cecece;
/*  border-bottom: 2px solid #4a4a4a;*/
}
div.w3cButton a.w3c {
  width: 3em;
  border: 1px solid #cecece;
  text-align: center;
  font-weight: bold;
  float: left;
}
div.w3cButton a.spec {
  position: absolute;
  left: 3em;
  top: 0;
  width: 8em;
  font-weight: normal;
  letter-spacing: 1px;
/*  border-right: 2px solid #4a4a4a; */
  padding-left: 0.5em;
}
div.w3cButton a.w3c:link, div.w3cButton a.w3c:visited, div.w3cButton a.w3c:hover {
  background-color: #fff;
  color: #0c479d;
  text-decoration: none;
}
div.w3cButton a.spec:link, div.w3cButton a.spec:visited, div.w3cButton a.spec:hover {
  background-color: #777;
  color: #fff;
  text-decoration: none;
}

a.clean:link, a.clean:visited, a.clean:hover , a.clean img{
  border: none;
  color: #fff;
}
