equal
deleted
inserted
replaced
197 Additional options to the Gtest test framework. |
197 Additional options to the Gtest test framework. |
198 |
198 |
199 Use `GTEST="OPTIONS=--help"` to see all available Gtest options. |
199 Use `GTEST="OPTIONS=--help"` to see all available Gtest options. |
200 |
200 |
201 --- |
201 --- |
202 # Override some definitions in http://openjdk.java.net/page.css that are |
202 # Override some definitions in the global css file that are not optimal for |
203 # unsuitable for this document. |
203 # this document. |
204 header-includes: |
204 header-includes: |
205 - '<style type="text/css">pre, code, tt { color: #1d6ae5; }</style>' |
205 - '<style type="text/css">pre, code, tt { color: #1d6ae5; }</style>' |
206 - '<style type="text/css">pre { font-size: 10pt; }</style>' |
|
207 --- |
206 --- |