/* Override some defaults */
body {
  background-color: #eee;
}
body {
  padding-top: 40px; /* 40px to make the container go all the way to the bottom of the topbar */
}
.container > footer p {
  text-align: center; /* center align it with the container */
}
.container {
  width: 820px; /* downsize our container to make the content feel a bit tighter and more cohesive. NOTE: this removes two full columns from the grid, meaning you only go to 14 columns and not 16. */
}

/* The white background content wrapper */
.content {
  background-color: #fff;
  padding: 20px;
  margin: 0 -20px; /* negative indent the amount of the padding to maintain the grid system */
  -webkit-border-radius: 0 0 6px 6px;
     -moz-border-radius: 0 0 6px 6px;
          border-radius: 0 0 6px 6px;
  -webkit-box-shadow: 0 1px 2px rgba(0,0,0,.15);
     -moz-box-shadow: 0 1px 2px rgba(0,0,0,.15);
          box-shadow: 0 1px 2px rgba(0,0,0,.15);
}

/* Page header tweaks */
.page-header {
  background-color: #f5f5f5;
  padding: 20px 20px 10px;
  margin: -20px -20px 20px;
}

.topbar .btn {
  border: 0;
}


/* tag_box ======================================================== */

.tag_box {
	list-style:none;
	margin:0;
	padding:5px 0 ;
	overflow:hidden;
}
.tag_box li {
	line-height:28px;
}
.tag_box.inline li {
	float:left;
}
.tag_box a {
	padding: 3px 6px;
	margin: 2px;
	background: #eee;
	color:#005F6B;
	border-radius: 3px;
	text-decoration:none;
}
.tag_box a span{
	vertical-align:super;
	font-size:0.8em;
}
.tag_box a.active {
	background:#57A957;
	border:1px solid #4C964D;
	color:#FFF;
}
	
.deprecated {
    background: #FDD;
    color: #9B0000;
    border: 1px solid #A40001;

    padding:0 10px 2px;
    -webkit-border-radius:3px;
    -moz-border-radius:3px;
    border-radius:3px;

    margin-bottom: 30px;
}

.deprecated p {
    font-family: Verdana, Tahoma, Arial, sans-serif;
    font-style: oblique;
    font-size: 11pt;
}

.deprecated h2 {
    background: #A40001;
    color: white;

    margin: 0 -10px;

    font-family: Verdana, Tahoma, Arial, sans-serif;
    font-size: 15pt;

    text-align: center;
}

.deprecated a {
    color: #D60000;
}

.deprecated a:hover {
    color: #8A0000;
}

pre {
    width: 100%;
    transition: all .5s ease-in-out;
    -webkit-transition: all .5s ease-in-out;
}

pre:hover {
    width: 800px;
    transition: all .5s ease-in-out;
    -webkit-transition: all .5s ease-in-out;
}