hoogle.css

/********************************************************************
*  GENERAL ELEMENTS
*/

body {
	margin: 0px;
	padding: 10px;
	font-family: sans-serif;
}

a img {
	border-width: 0px;
}

a:hover {
	background-color: #ffb;
}


/********************************************************************
*  HEADING SEARCH
*/

#heading {
	background-color: #eee;
	width: 100%;
	padding-left: 5px;
	padding-right: 5px;
	margin-bottom: 10px;
}

#heading #count {
	text-align: right;
}

#heading td {
	font-size: 12pt;
}

#heading a:hover {
	background-color: #eee;
}


/********************************************************************
*  HEADING TEXT
*/

#logo {
	float: left;
}

#logo a:hover {
	background-color: white;
}
	

h1 {
	margin-top: 15px;
	margin-bottom: 30px;
	padding: 2px;
	margin-left: 170px;
	font-size: 14pt;
	color: white;
}

h2 {
	font-size: 14pt;
	background-color: #eee;
	padding-left: 5px;
}



/********************************************************************
*  COLORS AND ICONS
*/

#help h1	{background-color: blue;}
#about h1	{background-color: green;}
#down h1	{background-color: #f60;}
#dev h1		{background-color: red;}
#acad h1	{background-color: purple;}
#nodocs h1	{background-color: black;}


/********************************************************************
*  BUTTONS
*/

#buttons {
	text-align: right;
	width: 100px;
	vertical-align: top;
}
#buttons a {
	text-align: left;
	display: block;
	width: 100px;
	height: 32px;
	border: 1px solid red;
	margin: 5px;
	padding-left: 45px;

	background-image: url(icons.png);
	background-position: 0px 0px;
	background-repeat: no-repeat;
	background-color: white;

	text-decoration: none;
	font-weight: bold;
	font-size: 12pt;
	padding-top: 12px;
}

#buttons a:hover {
	background-color: white
}

#buttons #help {
	color: blue;
	border-color: blue;
	background-position: 0px 0px;
}

#buttons #about {
	color: green;
	border-color: green;
	background-position: 0px -56px;
}

#buttons #down {
	color: #f60;
	border-color: #f60;
	background-position: 0px -113px;
}

#buttons #dev {
	color: red;
	border-color: red;
	background-position: 0px -170px;
}

#buttons #acad {
	color: purple;
	border-color: purple;
	background-position: 0px -227px;
}

#buttons #haskell {
	color: #35807E;
	border-color: #35807E;
	background-image: url(haskell_icon.png);
	background-position: center left;
}


/********************************************************************
*  COPYRIGHT
*/
#footer {
	text-align: center;
	font-size: 10pt;
}

#answers #footer {
	background-color: #eee;
	margin-top: 25px;
}

/********************************************************************
*  RESULTS
*/

#select {
	margin-top: 15px;
	text-align: center;
}

#select .active {
	font-weight: bold;
	color: black;
	text-decoration: none;
}

#answers form {
	margin-bottom: 30px;
	padding-top: 18px;
	padding-left: 4px;
	margin-left: 170px;
}

#results {
	padding-left: 10px;
}

#results td {
	font-size: 11pt;
	padding: 0px;
	margin: 0px;
	border: 0px;
	color: black;
}

#results td.mod {
	text-align: right;
	font-size: 8pt;
}

#results td.fun a {
	display: block;
	padding-right: 3px;
	color: blue;
}

#results a {
	text-decoration: none;
	color: black;
}

.func {color: black;}

.c1{background-color: #fcc;}
.c2{background-color: #cfc;}
.c3{background-color: #ccf;}
.c4{background-color: #ffc;}
.c5{background-color: #fcf;}
.c6{background-color: #cff;}



#example {
	margin-top: 40px;
	border: 2px solid #cc0;
	background-color: #ffc;
	text-align: left;
	margin-left: 30%;
	margin-right: 30%;
	font-size: 10pt;
	padding: 3px;
}

#suggest, #lambdabot {
	padding: 0px;
	margin: 0px;
	margin-left: 10px;
	margin-bottom: 5px;
}

.name a, .name {
	color: #b00;
	font-style: italic;
}

#failure {
	margin: 25px;
	padding-top: 5px;
	font-weight: bold;
	border: 2px solid gray;
	border-left-width: 0px;
	border-right-width: 0px;
}

#failure ul {
	font-weight: normal;
}