Enable exporting to GeoJSON file via the program togeojson.

[andy/viking.git] / help / C / viking.css

body {\r
         font-family: luxi sans,sans-serif;\r
}\r
\r
.programlisting, .screen {\r
        font-family: monospace;\r
        font-size: 1em;\r
        display: block;\r
        padding: 10px;\r
        border: 1px solid #bbb;\r
        background-color: #eee;\r
        color: #000;   \r
        overflow: auto;\r
        border-radius: 2.5px;\r
        -moz-border-radius: 2.5px;\r
        margin: 0.5em 2em;\r
 \r
}\r
\r
.note {\r
	border: 1px solid #00f;\r
}\r
\r
.warning {\r
	border: 1px solid #f00;\r
}\r
\r
.caution {\r
	border: 1px solid #0f0;\r
}\r
\r
/* Author listing seems stupidly large so downsize it a bit */\r
/* <div class="authorgroup"><div class="author"><h3 */\r
div.authorgroup div.author h3 {\r
	font-size: 75%;\r
}\r