/* CSS Document */
.filepath, .command { font-family: "Courier New", Courier, mono; }
.filepath { quotes: '"' '"' }
.filepath:before { content: open-quote }
.filepath:after { content: close-quote }
ul { border-top: 1px solid #000066; border-bottom: 1px solid #000066; }
ul.filelist { list-style-image: url(/m/rightarrow1.gif); }
.filesec { font-size: small; font-style: italic; }