mirror of
https://github.com/rust-lang/rust.git
synced 2025-01-26 22:53:28 +00:00
Error index style tweaks.
This commit is contained in:
parent
1174114356
commit
b9d484ff8c
@ -77,7 +77,7 @@ ERR_IDX_GEN = $(RPATH_VAR2_T_$(CFG_BUILD)_H_$(CFG_BUILD)) $(ERR_IDX_GEN_EXE)
|
|||||||
|
|
||||||
D := $(S)src/doc
|
D := $(S)src/doc
|
||||||
|
|
||||||
DOC_TARGETS := trpl style
|
DOC_TARGETS := trpl style error-index
|
||||||
COMPILER_DOC_TARGETS :=
|
COMPILER_DOC_TARGETS :=
|
||||||
DOC_L10N_TARGETS :=
|
DOC_L10N_TARGETS :=
|
||||||
|
|
||||||
|
@ -57,7 +57,15 @@ r##"<!DOCTYPE html>
|
|||||||
<html>
|
<html>
|
||||||
<head>
|
<head>
|
||||||
<title>Rust Compiler Error Index</title>
|
<title>Rust Compiler Error Index</title>
|
||||||
|
<meta charset="utf-8">
|
||||||
|
<!-- Include rust.css after main.css so its rules take priority. -->
|
||||||
|
<link rel="stylesheet" type="text/css" href="main.css"/>
|
||||||
<link rel="stylesheet" type="text/css" href="rust.css"/>
|
<link rel="stylesheet" type="text/css" href="rust.css"/>
|
||||||
|
<style>
|
||||||
|
.error-undescribed {{
|
||||||
|
display: none;
|
||||||
|
}}
|
||||||
|
</style>
|
||||||
</head>
|
</head>
|
||||||
<body>
|
<body>
|
||||||
"##
|
"##
|
||||||
@ -79,7 +87,7 @@ r##"<!DOCTYPE html>
|
|||||||
|
|
||||||
// Error title (with self-link).
|
// Error title (with self-link).
|
||||||
try!(write!(&mut output_file,
|
try!(write!(&mut output_file,
|
||||||
"<h2 id=\"{0}\"><a href=\"#{0}\">{0}</a></h2>\n",
|
"<h2 id=\"{0}\" class=\"section-header\"><a href=\"#{0}\">{0}</a></h2>\n",
|
||||||
err_code
|
err_code
|
||||||
));
|
));
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user