metrixpp/style.css

/*

    Software Index, Copyright 2010, Software Index Project Team
    Link: http://swi.sourceforge.net
    
    This file is part of Software Index Tool.
    
    Software Index 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, version 3 of the License.
    
    Software Index 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 Software Index.  If not, see <http://www.gnu.org/licenses/>.
 
*/

/***********************************************/
/* HTML tag styles                             */
/***********************************************/ 

body{
	font-family: Arial, sans-serif;
	color: #333333;
	line-height: 1.166;
	margin: 0px;
	padding: 0px;
	font-size: 14px;
}

td{
	background-position: left;
	background-repeat: no-repeat;
}

a{
	color: #3399FF;
	text-decoration: none;
}

a:link{
	color: #3399FF;
	text-decoration: none;
}

a:visited{
	color: #3399FF;
	text-decoration: none;
}

a:hover{
	color: #0000FF;
	text-decoration: underline;
}

h1{
 font-family: Verdana,Arial,sans-serif;
 font-size: 130%;
 color: #330099;
 margin: 0px;
 padding: 0px;
}

h2{
 font-family: Arial,sans-serif;
 font-size: 120%;
 color: #330099;
 margin: 0px;
 padding: 0px;
}

h3{
 font-family: Arial, sans-serif;
 font-size: 110%;
 color: #3366CC;
 margin: 0px;
 padding: 0px;
}

h4{
 font-family: Verdana,Arial,sans-serif;
 font-size: 105%;
 color: #334d55;
 margin: 0px;
 padding: 0px;
}

h5{
 margin: 0px;
 padding: 0px;
 font-family: Verdana,Arial,sans-serif;
 font-size: 100%;
 color: #334d55;
}

ul{
 list-style-type: disc;
}

ul ul{
 list-style-type: circle;
}

ul ul ul{
 list-style-type: disc;
}

label{
	font-family: Arial, sans-serif;
	font-size: 100%;
	color: #334d55;
}

.highImportance {
	color: #FF0000
}

.normalImportance {
	color: #00CC00}