/* default.css 
 *  * Time-stamp: <2007-07-11 23:34:17 dante> 
 *   * Cascading style sheet for my web pages
 *    * made by V. Cristescu <dante@new-order.org>
 *     */

body {
	  margin-left: 5%;
	    margin-right: 5%;
    }

    @media screen {
	    a:hover { background: #ffa } 
    }

    .hide { display: none } /* for hiding stuff use class="hide" */

    h1 {
	      font-size: x-large; 
	        font-family: Times, serif;
	}
	h2 {
		  font-size: large; 
		    font-family: Helvetica, sans-serif;
	    }
	    .changed { /* to indicate changed text */
		      padding-left: 0.2em;
		        border-left: solid;
			  border-right: none;
			    border-top: none;
			      border-bottom: none;
			        border-left-width: thin;
				  border-color: red;
			  }
			  .big {
				    font-size: 250%;
			    }
			    pre {
				      color: maroon;
				        margin-left: 1em;
					  margin-right: 2em;
					    font-family: monospace;
				    }
				    pre.config {
					      background: #F2F2F2;
					        font-family: monospace;
					}
					pre.shell {
						  color: green;
						    margin-left: 1em;
						      margin-right: 2em;
						        background: #E2FFE2;
							  font-family: monospace;
						  }
						  .center {
							  	margin-left: auto;
									margin-right: auto;
								}
								.note {
									  color: green;
									    margin-left: 1em;
								    }
								    .note:before { content: "Note: "; font-weight: bold; }

								    p.footer {
									      white-space: nowrap;
									        color: black;
										  margin: 0;
										    padding: 0;
										      font-family: sans-serif;
										        font-size: 80%;
										}
										img.cen { /* a centered image */
										}
										p.caption { /* an image caption */
											  text-align: center;
											    font-weight: bold;
										    }
										    div.box { /* to put a box around things */
											      border: solid; 
											        border-width: thin; 
												  width: 100% 
											  }
											  div.color { /* provide a colored background */
												    background: rgb(204,204,255);
												      padding: 0.5em;
												        border: none;
												}
												br {
													  clear: left;
	  }