<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* MPL hacks 2008-07-14 */

/**
 * Don't bullet the "primary links" navigation list
 * (math.nyu.edu doesn't)
 */
#block-menu-primary-links .content ul.menu li.leaf,
#secondary li {
    list-style-type: none;
    list-style-image: none;
}

/** 
 * do bullet lists in "regular" content
 */

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


/**
 * decorate headings for classes of links on the left and right sidebar
 */
#nav .block .title,
#secondary .block .title {
   display: block;
   float: none;
   clear: both;
   line-height: 20px;
   margin: 0;
   padding: 0 10px;
   background-color: #666;
   color: #fff;
   border-width: 0 0 0 20px;
   border-style: solid;
   border-color: #993300;
   text-align: left;
   text-transform: uppercase;
   font-weight: bold;
   text-decoration: none;
}


/**
 * links in titles have no decoration
 * unless you hover over them
 */
h1.bar a,
h1.bar a:link, 
h1.bar a:visited,
h1.bar a:active {
    color: #ffffff;
    text-decoration: none;
}

h1.bar a:hover {
    color: #ffffff;
    text-decoration: underline;
}

h3.title &gt; a,
h3.title &gt; a:link,
h3.title &gt; a:visited {
    color: #000000;
    text-decoration: none;
}

h3.title &gt; a:hover {
    text-decoration: underline;
}



/**
 * hide the "Primary Links" menu title
 * (disabled)
#block-menu-primary-links .title {
    display: none;
}
 */

/**
 * space around the headshot 
 */
#headshot {
    margin: 10px;
}

/**
 * mission statement needs some margin 
 */
.mission {
   margin-top: 10px;
}

/**
 * code blocks
 */
.code {
    padding: 10px 10px 10px 20px;
    border-style: solid;
    border-width: thin;
    border-color: #993300;
    background-color: #FFD5BF;
}

/**
 * blockquotes
 */
blockquote {
    padding: 10px 10px 10px 20px;
    border-style: solid;
    border-width: thin;
    border-color: #993300;
    background-color: #FFD5BF;
}

/**
 * node dates shouldn't be so prominent
 **/
.node .date {
    color:gray;
    font-size:smaller;
}

/**
 * taxonomy terms 
 **/
.node .terms a {
    color: gray;
    font-size: smaller;
    text-decoration: none;
}


/**
 * not so much space between the article/blog title and the date/taxonomy
 */
.node-story h3.title, 
.node-page h3.title,
.node-blog h3.title {
    margin-bottom: 0px;
}
</pre></body></html>