rivet/rivet.css

/* */

* {
    margin:		0px;
    padding:		0px;
}

body {

}

#announces {
/*  border-top:		2px solid black; */
    border-bottom:	2px solid black;
    padding:		2.0em auto;
    font-size:		1.5em; 
}

#announces>div {
    margin:		0.7em auto;
}

#bigcontainer {
    padding-right:	4em;
}

div#pageheadline {
/*  position:		absolute;	*/
    top:		0px;
    left:		0px;
    height:		105px;
    padding:		2px;
/*  border:		1px solid red;	*/
/*  width:		805px;		*/
}

div.headline {
    moz-box-shadow:	10px 10px 5px #888;
    font-size:			22pt;
    text-align:		left;
    margin-left:		170px;
    padding:			0.5em;
    margin-top:		20px;
    margin-bottom:	20px;
    position:   		relative;
/*  width:		20em;		*/
    border:				1px solid blue; 
}

div.decoration {
    float:				left;
/*  
    width:	     	100px;
    background-color: 	lightblue; 
*/
}

div#pagecontents {
/*    position:	    	absolute;	*/
    margin-top:		1em;
    top:	    			105px;
    left:	    		0px;
/*  border:	    	1px solid green; */
/*  width:	    	804px;		 */
}

#pagecontents img {
     border:			1px solid black;
     padding:			1px;
}

div.navbar {
/*  width:	    	10em;		*/
    width:				160px;
    position:	    	relative;
    padding:	    	2px;
    font-family:		Arial,sans-serif;
    font-size:			0.8em;
/*  border:	    	1px dashed Navy; */
}

div.navleft {
    float:	    	left;
}

div.navright {
    float:	    	right;
}

div.staticmenu {
    margin-top:	   2px;
    margin-bottom:	1em;
/*  border:	    	1px solid blue; */
}

div.menuheader {
    border-top:		1px solid black;
    padding-top:	4px;
    padding-bottom:	4px;
    background-color: 	#eee;
}

span.navitem {
/*  font-size:	    	70%;		*/
    display:	    	block;
    margin:		0.5em;
}

span.navitem a {
    text-decoration:	none;
    padding:		2px;
}

span.navitem a:hover {
    background-color:	#eee;
    border:		1px solid #808080;
}

div#content {
    margin-top:	    	2px;
    font-size:		10pt;
    position:	    	relative;
    margin-left:    	162px;		
/*  margin-right:   	162px;		*/
/*  border:	    	1px solid red;  */
    text-align:	    	justify;
    padding:	    	0.5em;
/*  width:		60em;		*/
    font-family:	Arial,sans-serif;
/*  background-color:	#ffff99;	*/
}

#content p {
    margin:		0.8em auto;
}

#last_modified {
    border-top:		1px solid #ccc;
    font-size:		80%;
    padding:		5px;
    text-align:		right;
    margin-top:		2em;
}

.example-contents p {
    width:		90%;
}

.example-contents pre {
    margin:		auto 5% auto 5%;
}

.foto {
    float:  		left;
    margin-right:   	0.5em;
}

#intestazione {
    top:		0px;
    left:		103px;
/*  width:		604px;		*/
}

#intestazione img {
    top:	    	0px;
}

#footer .rightaligned {
    margin-right:	1em;
    text-align:		right;
    width:		50%;
    float:		right;
}

#footer .leftaligned {
    margin-left:	0.5em;
    text-align:		left;
    width:		40%;
    float:		left;
}

div#footer {
    margin-top:	    	0.3em;
    border:	    	1px dotted red;
    background-color: 	#cf9;
    height:	    	1.5em;
}

.contentheadline {
    text-align:	 	center;
    font-size:		150%;
    font-weight:	bold;
    border-bottom:	1px solid #ccc;
    margin-bottom:	1em;
}

ul {
    margin-top:	    	0.8em;
    margin-left:    	2em;
}

.clearfloats {
    clear:		both;
}

code {
    margin:		1em 2em;
    border:		1px dashed black;
    background-color:	#f0f0f0;
    padding:		0.2em;
}

pre.code {
    padding:		1ex;
}

blockquote {
    font-size:		smaller;
    font-style:		italic;
}

span.type {
    color:		#4682B4;
}

td {
    padding:		0.5em;
}

td.code {
    font-size: 		smaller;
    background-color:	black;
    border:		1em solid white;
    color:		white;
}

.programlisting {
    background:	    #ddd; 
    margin:	    2ex; 
    margin-right:   10%;       
    padding:	    1ex; 
    border:	    dashed black 1px ; 
    white-space:    pre;      
    font-family:    monospace; 
    font-size:	    90%;
}

span.variable-name {
	 color: #228b22;
} /* font-lock-variable-name-face */

span.comment {
	color: #ff7f24;
} /* font-lock-comment-face */

span.keyword {
	color: #00ffff;
} /* font-lock-keyword-face */

span.function-name {
	color: #87cefa;
} /* font-lock-function-name-face */

li {
    margin:	1em;
}