@charset "utf-8";

/*
 * CSS for all wiki pages.
 */

/*
 * User input is marked like this.
 *
 * Examples:
 *	Enter a number: %input%123%%
 *	$ %i%cp foo bar
 */
.input, .i {
    color: #aa0000;
    text-decoration: underline;
}

/*
 * 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";
}

/*
  If somebody views the Fall 2015 page during the summer, then the
  “Fall 2015” at the top of the page (in TopBar) should be really
  obvious.  We handle this by tagging the “Fall 2015” with the
  wikistyle %show_semester%.  If showing a page during the wrong month,
  emit code that defines the wikistyle %show_semester% to invoke the
  class “blinker”, which makes the text blink for a while.
*/

.blinker {
    color: #ff00de;
    padding: 4px;
            animation: blinker 1s step-end 15;
    -webkit-animation: blinker 1s step-end 15;
}

@keyframes blinker {
    50% {
	color: white;
	text-shadow:
	    0 0  1px #fff,
	    0 0  2px #fff,
	    0 0  3px #fff,
	    0 0  4px #ff00de,
	    0 0  7px #ff00de,
	    0 0  8px #ff00de,
	    0 0 10px #ff00de,
	    0 0 15px #ff00de;
    }
}

@-webkit-keyframes blinker {
    50% {
	color: white;
	text-shadow:
	    0 0  1px #fff,
	    0 0  2px #fff,
	    0 0  3px #fff,
	    0 0  4px #ff00de,
	    0 0  7px #ff00de,
	    0 0  8px #ff00de,
	    0 0 10px #ff00de,
	    0 0 15px #ff00de;
    }
}

/* 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. */
}