@charset "utf-8";

/*
 * CSS for all wiki pages.
 */

/*
 * Links look like Wikipedia.
 */

a { color: #0645AD; text-decoration: none; }
a:hover { text-decoration: underline; }
a:visited { color: #0B0080; }

/* Nested lists */
ul li { list-style-type: circle; }
ul li li { list-style-type: square; }
ul li li li { list-style-type: disc; }
ul li li li li { list-style-type: decimal; }
ul li li li li li { list-style-type: lower-alpha; }
ul li li li li li li { list-style-type: lower-roman; }

/*
 * Make something look like a key on a computer keyboard.
 *
 * Examples:
 *	Use %keycap%shift%%+%keycap%esc%% to exit.
 */
.keycap {
    padding-left:  0.2em;
    padding-right: 0.2em;
    border-style: solid;
    border-width: 2px 3px 5px 3px;
    border-color: #eeeecc #999977 #999977 #eeeecc;
    background-color: #ddddbb;
}

/* Obscure email address thus:  Contact via %email%applin%% any time. */

.email {
    font-style: italic;
}

.email:after {
    /*
     * “@ColoState.Edu”, in hexadecimal.
     * The hexadecimal for a single character ends:
     * - after six hex digits
     * - when a space is encountered (the space is ignored)
     * - when a non-hex character is encountered
     * Use all of those techniques, to maximize the odds that an
     * HTML/CSS scraper will get it wrong.
     */
    content: "\000040C\06f\006C\0006f\000053\74 \61 \74 \65 \2E \45\64\75";
}

/* Dropdown menu, as used in TopBar to show homework assignments */

ul#dropdown > li {		/* Top-level horizontal list items */
    position: relative;		/* So drop-down menus will start here */
    list-style: none;		/* No bullets on the list items */
    display: inline-block;	/*    which are all in a row. */
}

ul#dropdown li:hover ul {	/* When hovering over a top-level list item */
    display: block;		/* Make the vertical list visible */
}

ul#dropdown ul {		/* A vertical drop-down list */
    border-top: 0;		/* A border would separate us from the parent */
    display: none;		/* Don’t show unless hovering */
    position: absolute;		/* Pop up right over the other page elements */
    top: 100%;			/* Just below the parent horizontal list item */
    left: 0;			/* Same left margin as the parent list item */
}

ul#dropdown li ul li {		/* Vertical drop-down list items */
    margin-top: 1ex;		/* Spread them out a bit */
    display: list-item;		/* We are normal list items, one per line. */
}