diff options
Diffstat (limited to 'contrib/utility/Documentation/Style/CXX.css')
| -rw-r--r-- | contrib/utility/Documentation/Style/CXX.css | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/contrib/utility/Documentation/Style/CXX.css b/contrib/utility/Documentation/Style/CXX.css deleted file mode 100644 index 49bf0f34e51..00000000000 --- a/contrib/utility/Documentation/Style/CXX.css +++ /dev/null @@ -1,9 +0,0 @@ -pre { BORDER-RIGHT: gray 1pt solid; PADDING-RIGHT: 2pt; BORDER-TOP: gray 1pt solid; DISPLAY: block; PADDING-LEFT: 2pt; PADDING-BOTTOM: 2pt; MARGIN-LEFT: 32pt; BORDER-LEFT: gray 1pt solid; MARGIN-RIGHT: 32pt; PADDING-TOP: 2pt; BORDER-BOTTOM: gray 1pt solid; FONT-FAMILY: "Courier New", Courier, mono; background-color: #EEEEEE; font-size: small} -.keyword { color: #000099} -.identifier { } -.comment { color: #990000} -.special { color: #800040} -.preprocessor { color: #006600} -.string { color: #666666} -.number { color: #666666} -/* $Id$ */ |