/*
 * HTML5 display-role reset for older browsers.
 */
article, aside, footer, header, hgroup, nav, section
{
    display: block;
}

/**
 * Box sizes to include padding and borders
 */
{
    box-sizing: border-box;
}

/**
 * Font choice - see also newLayout.xsl
 */
body
{
    font-family: 'Open Sans', Arial, sans-serif;
}


/*
 * Navbar style.
 */
.navbar
{
    background-color:	#DDDDFF;
    color:		#000000;
}

.navbar-default
{
    background-image:	none;
    color:		#000000;
}

.navbar-default .navbar-nav li a,
.navbar-default .navbar-brand,
.navbar-default .navbar-brand:hover
{
    color:		#000000;
}

.navbar-default .navbar-nav li a:hover,
.navbar-default .navbar-nav .active a
{
    background-image:	none;
    box-shadow:		none;
    color:		#000088;
    background-color:	#DDDDFF;
}

.navbar-default .navbar-toggle
{
    border-color:	transparent;
    background-color:	#DDDDFF;
    color:		#000000;
}

.navbar-default .navbar-toggle:focus,
.navbar-default .navbar-toggle:hover,
.navbar-default .navbar-toggle .icon-bar
{
    background-color:	#BBBBEE;
    color:		#000000;
}

.navbar-default .navbar-toggle:focus .icon-bar,
.navbar-default .navbar-toggle:hover .icon-bar
{
    background-color:	#444444;
}

.navbar-default .navbar-header .breadcrumb
{
    background-color:	#DDDDFF;
    margin-bottom:	0px;
}

.navbar-bottom
{
    margin-top:		40px;
}


#legal
{
    color: black;
    font-family: "Lucida Sans", Tahoma, sans-serif;
    font-size: 10px;
    margin: 0px 0px 0px 0px;
    padding: 5px 5px 5px 5px;
}

/**
 * Images
 */
img.imgright
{
    float:		right;
}


/**
 * Python code block.
 */
pre.python
{
    margin:		2px 0px 2px 0px;
    padding:		2px 2px 2px 2px;
    color:		white;
    background-color:	#1F1F1F;
    font-family:	monospace;
    white-space:	pre;
}

.python .fn
{
    color:		#DCDCAA;
}

.python .key
{
    color:		#569CD6;
}

.python .lbl
{
    color:		#DCDCAA;
}

.python .num
{
    color:		#B5CEA8;
}

.python .rem
{
    color:		#6A9955;
}

.python .str
{
    color:		#CE9178;
}

.python .var
{
    color:		#9CDCFE;
}

/**
 * Generic code block.
 */
pre.code
{
    margin:		2px 0px 2px 0px;
    padding:		2px 2px 2px 2px;
    font-family:	monospace;
    white-space:	pre;
}

.code .input
{
    color: #000;
    font-weight: bold
}

.code .mod
{
    color: #C00;
    font-weight: bold
}

.code .rem
{
    color: #0C0;
}


/**
 * Filenames.
 */
span.file
{
    color:		black;
    font-weight:	bold;
    font-family:	monospace;
}

/**
 * Link/Pinlink lists.
 */
dd.link
{
    margin-left:	30px;
    margin-bottom:	5px;
}

div.caution
{
    background-image:	url(../backs/caution.png);
    background-repeat:	repeat;
    padding:		5px 0px 5px 0px;
}