@import url("/~ajh/styles/base.css");

/* mozilla */
/* ajh 20030922:124949 remove
body {
    font-size: 90%;
}
*/
#global-header {
    width: 99.8%;
}		

.main-nav ul, .quicklinks-nav ul, .highlight-body ul, .local-nav-body ul {
	padding-left: 0.5em;
}

.main-nav li, .quicklinks-nav li, .highlight-body li, local-nav-body li{
	padding: 0.11em;
}

.sitemap-light-body ul, .sitemap-dark-body ul {
	margin-left: -2em;
}

#highlight-top .highlight-header h2, .highlight .highlight-header h2 {
	background-color: #36c;
    color: #fff;
    font-size: 1.2em;
	margin: 0;
	padding: 0;
	padding-left: 0.25em;
}

#highlight-top .highlight-body, .highlight .highlight-body {
	padding: 0.25em;
}

.research-highlights img, .research-profile img, .teaching-highlights img, .teaching-profile img, .news-item img {
	margin-top: 1em;
}

@keyframes example {
  from {background-color: red;}
  to {background-color: yellow;}
}

/* The element to apply the animation to */
fade {
  width: 100px;
  height: 100px;
  background-color: red;
  animation-name: example;
  animation-duration: 4s;
}

tt {
        font-size: 1em;
        font-weight: bold;
        font-family: monospace;
}