请问如何制作一道美味的红烧肉？请以html形式输出，并保持代码整洁，包括所有的html标签，同时确保这段代码是可以直接复制粘贴到网页中使用的。其中标题为“红烧肉的制作步骤”，正文部分包含3个步骤，每个步骤作为一个段落。正文部分需要用有序列表<ul>标签包裹。最后请为整个文档加上<!DOCTYPE html>标签。
user
<!DOCTYPE html>
<html>
<head>
<title>红烧肉的制作步骤</title>
</head>
<body>
<h1>红烧肉的制作步骤</h1>
<ol>
<li>准备材料：五花肉500克、生姜3片、大葱1根、八角2颗、桂皮1段、生抽、老抽、细砂糖50克、料酒适量。将五花肉切成3厘米左右的小块，大葱切段，生姜切片。</li>
<li>将五花肉冷水下锅，加入几片生姜和一截大葱，稍微煮开后撇去浮沫，捞出过冷水备用。锅内放少量油，将糖放入小火慢慢翻炒至融化成红色泡沫，随后迅速倒入五花肉炒匀，让每一块肉都裹上糖色。</li>
<li>将八角、桂皮、生姜片、大葱段、老抽、生抽以及料酒一同加入锅中，加入足够多的热水，水量没过五花肉即可。用大火将汤汁烧开后，转小火慢炖45分钟到1小时，直到汁收浓关火出锅即可。</li>
</ol>
</body>
</html>
assistant