/*
	Copyright 2010 - Max Hacking - Hacking Networked Solutions

	This file is a part of the Hacking Networked Solutions Document Management System CSS Styles 

    The Hacking Networked Solutions Document Management System is free software: you can 
    redistribute it and/or modify it under the terms of the GNU General Public License
    as published by the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    The Hacking Networked Solutions Document Management System is distributed in the hope
    that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty
    of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
    License for more details.

    You should have received a copy of the GNU General Public License along with the
    Hacking Networked Solutions Document Management System.  If not, please refer to  
    <http://www.gnu.org/licenses/>.
*/

div.typed
{
	padding: 0.5em;
	background-color: black;
	color: white;
	font-family: monospace;
    overflow: auto;
	clear: both;
	margin-left: 0px;
	margin-right: 0px;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

div.typed-file
{
	clear: both;
	font-family: monospace;
	background-color: gray;
	color: white;
	padding-left: 0.5em;
	padding-top: 0.25em;
	padding-bottom: 0.25em;
	margin-left: 0px;
	margin-right: 0px;
	margin-top: 0.5em;
	margin-bottom: -0.5em;
}

.existing
{
	color: gray;
}

.removed
{
	color: gray;
	text-decoration: line-through;
}


div.typed-heading
{
	clear: both;
	border-color: white;
	margin-top: 0.5em;
	margin-bottom: -1em;
	border-bottom-style: solid;
	border-bottom-width: 1px;
	padding-top: 0.4em;
	padding-bottom: 0.6em;
	padding-left: 0.5em;
	background-color: black;
	color: white;
}

div.typed-footer
{
	margin-top: -1em;
	margin-bottom: 1em;
	border-color: white;
	border-top-style: solid;
	border-top-width: 1px;
	padding-top: 0.4em;
	padding-bottom: 0.6em;
	padding-left: 0.5em;
	background-color: black;
	color: white;
}


div.typed pre, div.emerge
{
	padding: 0px;
	margin: 0px;
}

div.typed span.roothost
{
	color: #FF5555;
	font-weight: bold;
}

div.typed span.nonroothost
{
	color: #55FF55;
	font-weight: bold;
}

div.typed span.dir
{
	font-weight: bold;
	color: #5555FF;
}

div.typed span.prompt
{
	font-weight: bold;
	color: #5555FF;
}

div.typed span.command
{
	white-space: nowrap;	
}

.yellow
{
	color: yellow;
}

.green
{
	color: green;
}

.bold-bright-green
{
	color: #55FF55;
	font-weight: bold;
}

.bold-bright-red
{
	color: #FF5555;
	font-weight: bold;
}

.bold-bright-blue
{
	color: #5555FF;
	font-weight: bold;
}