wenzelm@37047: /* style file for Isabelle XHTML/XML output */
kleing@14542: 
kleing@14542: body { background-color: #FFFFFF; }
kleing@14542: 
kleing@14542: .head     { background-color: #FFFFFF; }
kleing@14542: .source   { background-color: #F0F0F0; padding: 10px; }
kleing@14542: 
wenzelm@38189: .external_source { background-color: #F0F0F0; padding: 10px; }
wenzelm@38189: .external_footer { background-color: #FFFFFF; }
kleing@14542: 
kleing@14542: .theories { background-color: #F0F0F0; padding: 10px; }
kleing@14542: .sessions { background-color: #F0F0F0; padding: 10px; }
kleing@14542: 
wenzelm@27848: .name     { font-style: italic; }
wenzelm@27848: .filename { font-family: fixed; }
wenzelm@23716: 
wenzelm@27848: 
wenzelm@33994: /* basic syntax markup */
wenzelm@27848: 
wenzelm@44465: .hidden         { font-size: 1px; visibility: hidden; }
wenzelm@33994: 
wenzelm@44421: .binding        { color: #336655; }
wenzelm@44420: .entity_class   { color: red; }
wenzelm@44423: .entity_type    { }
wenzelm@44423: .entity_constant { }
wenzelm@44420: .tfree          { color: #A020F0; }
wenzelm@44420: .tvar           { color: #A020F0; }
wenzelm@44420: .free           { color: blue; }
wenzelm@44420: .skolem         { color: #D2691E; }
wenzelm@44420: .bound          { color: green; }
wenzelm@44420: .var            { color: #00009B; }
wenzelm@44420: .numeral        { }
wenzelm@44420: .literal        { font-weight: bold; }
wenzelm@44420: .delimiter      { }
wenzelm@44420: .inner_string   { color: #D2691E; }
wenzelm@44420: .inner_comment  { color: #8B0000; }
wenzelm@29321: 
wenzelm@44420: .bold           { font-weight: bold; }
wenzelm@29321: 
wenzelm@44420: .keyword        { font-weight: bold; }
wenzelm@44420: .operator       { }
wenzelm@44420: .command        { font-weight: bold; }
wenzelm@44420: .ident          { }
wenzelm@44420: .string         { color: #008B00; }
wenzelm@44420: .altstring      { color: #8B8B00; }
wenzelm@44420: .verbatim       { color: #00008B; }
wenzelm@44420: .comment        { color: #8B0000; }
wenzelm@44420: .control        { background-color: #FF6A6A; }
wenzelm@44420: .malformed      { background-color: #FF6A6A; }
wenzelm@27848: 
wenzelm@44420: .malformed_span { background-color: #FF6A6A; }
wenzelm@33994: