diff --git a/application.css b/application.css index 4922293..aeb652f 100644 --- a/application.css +++ b/application.css @@ -6,15 +6,40 @@ .subtitle { text-decoration: underline; font-style: italic; } -.code { font-family: monospace; font-size: 12px; } +/* Define to behave like "generic" quoted software input and output. */ +.code { background-color: #efefef; padding: 0.5em; border-width: 1pt; + border-style: solid; border-color: #c0c0c0; white-space: -moz-pre-wrap; + font-family: monospace; } + +/* bash shell command prompt input and output */ +.quote_terminal { background-color: #f0ece6; padding: 0.5em; border-width: 1pt; + border-style: solid; border-color: #c0c0c0; white-space: -moz-pre-wrap; + font-family: monospace; } + +/* graphical user interface input and output */ +.quote_window { background-color: #c0e0f0; padding: 0.5em; border-width: 1pt; + border-style: solid; border-color: #c0c0c0; white-space: -moz-pre-wrap; + font-family: monospace; } + +/* + Wine registry modification. + Modifying the registry is a somewhat common wine task, and other How To's already + uniquely quote registry modifications, so here is a CSS to formalize this behavior. + In practice this tag is not necessary, since, like almost everything else, registry + edits are done either via a command prompt (regedit /C foo.reg (once implemented)) + or via the regedit graphical user interface. +*/ +.quote_registry { background-color: #c6ffc6; padding: 0.5em; border-width: 1pt; + border-style: solid; border-color: #c0c0c0; white-space: -moz-pre-wrap; + font-family: monospace; } p { font-family: "bitstream vera sans", "verdana", "arial", "helvetica", sans-serif; font-size: 12px; - } + } thead.historyHeader { font-weight: bold } -table.historyTable { border: 1px; +table.historyTable { border: 1px; font-family: "bitstream vera sans", "verdana", "arial", "helvetica", sans-serif; font-size: 12px; } @@ -35,4 +60,5 @@ tr.garbage { background-color: #999966; } div.version_info_pane p { margin:0px; } div.info_container { margin:6px; border: 1px solid; } div.info_contents { padding:10px; background-color: #eee; } -div.title_class { font-weight: bold; border-bottom: 1px solid; padding: 4px; font-size: 140%; background-color: #ddd; } +div.title_class { font-weight: bold; border-bottom: 1px solid; padding: 4px; + font-size: 140%; background-color: #ddd; }